News for hackers. Stuff that matters.

A comment on Cvc5: Versatile and Industrial-Strength SMT Solver [pdf]. Parent comment

Re:Cvc5: Versatile and Industrial-Strength SMT Solver [pdf] by pcarbonn on Saturday March 05, 2022 @04:43PM (#30572203)
Surely you are not using neural networks ! They are quite magical too !
[ Parent | on HN ]

There are no comments on this comment yet.