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 c-cube on Saturday March 05, 2022 @05:10PM (#30572442)
Cvc5 will likely be better if you use strings a lot, or other exotic theories.
[ Parent | on HN ]

There are no comments on this comment yet.