gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

Screenshots

  • stp-2.3.4
    ~amd64 ~x86
    cryptominisat debug +python test python_single_target_python3_10 python_single_target_python3_11 python_single_target_python3_12 python_single_target_python3_13

    View      Download      Browse     License: GPL-2+ MIT   
    Overlay: gentoo
  • stp-2.3.3-r3
    ~amd64 ~x86
    cryptominisat debug +python test python_single_target_python3_10 python_single_target_python3_11 python_single_target_python3_12

    View      Download      Browse     License: GPL-2+ MIT   
    Overlay: gentoo

USE Flags

cryptominisat
* This flag is undocumented *
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
+python
* 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
python_single_target_python3_10
* This flag is undocumented *
python_single_target_python3_11
* This flag is undocumented *
python_single_target_python3_12
* This flag is undocumented *
python_single_target_python3_13
* This flag is undocumented *