CLSAT
From MaRDI portal
Cited in
(10)- Flexible proof production in an industrial-strength SMT solver
- CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver
- Semi-intelligible Isar proofs from machine-generated proofs
- A unified framework for DPLL(T) + certificates
- veriT
- SMTCoq
- Ordered_Resolution_Prover
- Satisfiability modulo theories
- SMT proof checking using a logical framework
- A semantic framework for proof evidence
This page was built for software: CLSAT
