This category contains packages to support the verification of (Curry) programs and to provide connections to other verification tools.
contract-prover dimacs failfree property-prover smtlib smtlib-solver verify verify-non-fail