Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

sci-mathematics/
cryptominisat

Advanced SAT solver with C++ and command-line interfaces

https://github.com/msoos/cryptominisat/

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc
5.11.14  : 0/5.11.14T ~amd64 ~x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?riscv ?sparc
5.11.12  : 0/5.11.12T ~amd64 ~x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?riscv ?sparc
5.11.11  : 0/5.11.11T ~amd64 ~x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?riscv ?sparc

Package Metadata

  • Upstream
    Bugs-To https://github.com/msoos/cryptominisat/issues/
    Remote-Id https://github.com/msoos/cryptominisat
  • Full description
    This system provides CryptoMiniSat, an advanced incremental SAT solver. The system has 3 interfaces: command-line, C++ library and python. The command-line interface takes a cnf as an input in the DIMACS format with the extension of XOR clauses. The C++ and python interface mimics this and also allows for incremental use: assumptions and multiple solve calls.
  • License
    GPL-2 MIT
  • Maintainer(s)
    Gentoo Mathematics Project