Paket: cryptominisat (5.11.15+dfsg1-1.1) [debports]

Länkar för cryptominisat

Debianresurser:

Felrapporter

Hämta källkodspaketet :

Hittades ej

Ansvariga:

Externa resurser:

Hemsida [www.msoos.org]

Liknande paket:

SAT solver command line interface

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.

Andra paket besläktade med cryptominisat

beror

rekommenderar

föreslår

enhances

dep: libboost-program-options1.83.0 (>= 1.83.0)

program options library for C++
dep: libc6.1 (>= 2.37)

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6.1-udeb
dep: libcryptominisat5-5.11t64 (>= 5.11.15+dfsg1)

SAT solver library
dep: libstdc++6 (>= 13.1)

GNU standardbibliotek v3 för C++
dep: libunwind8

library to determine the call-chain of a program - runtime
dep: zlib1g (>= 1:1.1.4)

Kompressionsbibliotek - körtidspaket

Hämta cryptominisat

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
ia64 (inofficiell anpassning)	88,3 kbyte	495,0 kbyte	[filförteckning]