Categories
- math (2)
- sci-mathematics
- universe/math
Licenses
- BSD
- BSD MIT HPND zchaff? ( zchaff )
- Unspecified free software license
Summaries
- A prover for satisfiability modulo theory (SMT)
- Automatic theorem prover for the SMT problem
- CVC3 is a theorem prover for Satisfiability Modulo Theories (SMT) problems