iSAT
From MaRDI portal
ISAT
Cited in
(7)- SMT-RAT
- CArL
- \textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
- Building bridges between symbolic computation and satisfiability checking
- HyComp
- Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
- \texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving
This page was built for software: iSAT
