>>> Printing information for: portage://sci-mathematics/cvc4-1.8-r7


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Automatic theorem prover for satisfiability modulo theories (SMT) problems
homepage : 
   https://cvc4.github.io/
maintainer : 
   tupone@gentoo.org
license : 
   GPL-2
eapi : 
   8
slot : 
   0
subslot : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   +cln
   proofs
   readline
   +statistics
required_use : 
   [not set]
keywords : 
   unstable(amd64)
properties : 
   [not set]
eclasses : 
   toolchain-funcs
   flag-o-matic
   multiprocessing
   ninja-utils
   xdg-utils
   cmake
   eapi9-pipestatus
   python-utils-r1
   python-any-r1
defined_phases : 
   compile
   configure
   install
   prepare
   setup
   test
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   cvc4-1.8.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   dev-build/make
   >=dev-build/cmake-3.28.5

depend : 
   any 
      dev-lang/python:3.14
      dev-lang/python:3.13
      dev-lang/python:3.12
   dev-libs/antlr-c
   dev-java/antlr:3
   dev-libs/boost
   use readline
      sys-libs/readline:0=
   use cln
      sci-libs/cln
   use -cln
      dev-libs/gmp:=

idepend : 
   [not set]

rdepend : 
   dev-libs/antlr-c
   dev-java/antlr:3
   dev-libs/boost
   use readline
      sys-libs/readline:0=
   use cln
      sci-libs/cln
   use -cln
      dev-libs/gmp:=

pdepend : 
   [not set]