gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/cvc4

Automatic theorem prover for satisfiability modulo theories (SMT) problems

Screenshots

  • cvc4-1.8-r5
    ~amd64
    +cln proofs readline +statistics

    View      Download      Browse     License: GPL-2   
    Overlay: gentoo

USE Flags

+cln
* This flag is undocumented *
proofs
* This flag is undocumented *
readline
Global: Enables support for libreadline, a GNU line-editing library that almost everyone wants
+statistics
* This flag is undocumented *