>>> Printing information for: portage://sci-mathematics/opensmt-2.7.0


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Compact and open-source SMT-solver written in C++
homepage : 
   http://verify.inf.usi.ch/opensmt/ https://github.com/usi-verification-and-security/opensmt/
maintainer : 
   sci-mathematics@gentoo.org
license : 
   MIT
eapi : 
   8
slot : 
   0
subslot : 
   2.7.0

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   debug
   libedit
   test
required_use : 
   [not set]
keywords : 
   unstable(amd64)
   unstable(x86)
properties : 
   [not set]
eclasses : 
   toolchain-funcs
   flag-o-matic
   multiprocessing
   ninja-utils
   xdg-utils
   cmake
defined_phases : 
   compile
   configure
   install
   prepare
   test
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   opensmt-2.7.0.gh.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   app-alternatives/yacc
   app-alternatives/lex
   use test
      dev-cpp/gtest
   app-alternatives/ninja
   >=dev-build/cmake-3.28.5

depend : 
   dev-libs/gmp:= [ cxx ]
   use libedit
      dev-libs/libedit:=

idepend : 
   [not set]

rdepend : 
   dev-libs/gmp:= [ cxx ]
   use libedit
      dev-libs/libedit:=

pdepend : 
   [not set]