gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/opensmt

Compact and open-source SMT-solver written in C++

Screenshots

  • opensmt-2.5.2
    ~amd64 ~x86
    debug libedit +readline test

    View      Download      Browse     License: MIT   
    Overlay: gentoo

USE Flags

debug
Global: Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see http://www.gentoo.org/proj/en/qa/backtraces.xml
libedit
Global: Use the libedit library (replacement for readline)
+readline
* This flag is undocumented *
test
Global: Workaround to pull in packages needed to run with FEATURES=test. Portage-2.1.2 handles this internally, so don't set it in make.conf/package.use anymore