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

Runtime Dependencies

cvc4-1.8-r5

dev-libs/antlr-c
dev-java/antlr:3
dev-libs/boost

readline?
      ( sys-libs/readline:0= )

cln?
      ( sci-libs/cln )

!cln?
      ( dev-libs/gmp:= )