cvc4

Description:Automatic theorem prover for satisfiability modulo theories (SMT) problems
License: GPL-2
Homepage:https://cvc4.github.io/
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
1.7-r1 - ~ - - - - - - - - - - ~

USE flags

  • cln - Use sci-libs/cln
  • proofs - Support for proof generation
  • readline - Enable support for libreadline, a GNU line-editing library that almost everyone wants
  • replay - Turn on the replay feature
  • statistics - Include statistics

Also available in: Atom

Thank you!