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