Alle Optionen
trixie  ] [  sid  ]
[ Quellcode: cryptominisat  ]

Paket: libcryptominisat5-5.11t64 (5.11.21+dfsg1-1)

Links für libcryptominisat5-5.11t64

Screenshot

Debian-Ressourcen:

Quellcode-Paket cryptominisat herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

SAT solver library

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

This package provides a shared library to link against the CryptoMiniSat library.

Andere Pakete mit Bezug zu libcryptominisat5-5.11t64

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libcryptominisat5-5.11t64 herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
mips64el 463,8 kB1.638,0 kB [Liste der Dateien]