Replies: 1 comment
-
|
We contacted the veriT developers and were told that veriT is no longer in development and will soon be succeeded with a not yet published new solver. Therefore we won't support veriT. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
veriT is an open-source, proof-producing, and complete for quantifier-free formulas with uninterpreted functions and linear arithmetic on real numbers and integers SMT solver. It also offers good support for quantifiers.
It does not have an public API and can only be interacted with using SMTLIB2 files (and DIMACS).
Also, i could not yet find their open-source repository.
The intergration of veriT could be combined with the solver-independent parser/composer.
Beta Was this translation helpful? Give feedback.
All reactions