Versions Packages Information History Badges Report

Information for cvc4

Summaries

  • A high-performance theorem prover and SMT solver
  • An automated theorem prover for SMT problems
  • An automatic theorem prover
  • An automatic theorem prover for SMT problems.
  • Automatic theorem prover for SMT (Satisfiability Modulo Theories)
  • Automatic theorem prover for SMT problems
  • Automatic theorem prover for satisfiability modulo theories (SMT) problems
  • automatic theorem prover for satisfiability modulo theories (SMT) problems

Maintainers

All package recipes

Downloads

Build logs