CLSAT
From MaRDI portal
Software:20425
swMATH8416MaRDI QIDQ20425FDOQ20425
Author name not available (Why is that?)
Cited In (7)
- 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
- SMT proof checking using a logical framework
- A semantic framework for proof evidence
- Satisfiability Modulo Theories
This page was built for software: CLSAT
