stp

Описание:Simple Theorem Prover, an efficient SMT solver for bitvectors
Домашняя страница:https://stp.github.io/ https://github.com/stp/stp/
Расположение:Portage
Легенда:
  • + - стабильный
  • ~ - нестабильный
  • M - замаскированный
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
2.3.3-r3 - ~ - - - - - - - - - - ~

USE флаги

  • cryptominisat - Enable sci-mathematics/cryptominisat support
  • debug - Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
  • python - Enable building the Python interface
  • python_single_target_python3_10 - Build for Python 3.10 only
  • python_single_target_python3_11 - Build for Python 3.11 only
  • test - Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

Экспортировать в Atom

Спасибо!