Package: cryptominisat (5.11.21+dfsg1-1) [debports]

[ Source:  ]

SAT-løser - grænseflade for kommandolinjen

CryptoMiniSat er en moderne, flertrådet, forenklende SAT-løser.

Denne pakke tilbyder en grænseflade til kommandolinjen, som læser SAT-formler i konjunktiv normal form i DIMACS-formatet med udvidelse af XOR-klausuler og bestemmer om de kan tilfredsstilles.

Other Packages Related to cryptominisat

• dep: libc6 (>= 2.34)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1)

  SAT-løserbibliotek

• dep: libgcc-s4 (>= 4.1.1)

  GCC støttebibliotek

• dep: libstdc++6 (>= 13.1)

  GNU Standard C++ bibliotek v3

• dep: zlib1g (>= 1:1.2.3.3)

  Komprimeringsbibliotek - kørselstid

Download cryptominisat

Download for all available architectures

Architecture	Package Size	Installed Size	Files
hppa (unofficial port)	87.0 kB	315.0 kB	[list of files]