SmtInterpol
Subproject |
R1 |
Categories |
Core algorithms |
Overview |
SMT solver that produces proofs, models, and Craig interpolants. |
Publications |
--- |
SMTLIB (QF_UF, QF_LIA, QF_LRA, QF_UFLIA, QF_UFLRA) |
|
Download |
See swt.informatik.uni-freiburg.de/research/tools/smtinterpol |
Manual |
See swt.informatik.uni-freiburg.de/research/tools/smtinterpol |
Status |
Stable |