cryptominisat5

Paket-Details

Name cryptominisat5
Version 5.6.8-3
Beschreibung A modern, multi-threaded, feature-rich, simplifying SAT solver
URL https://github.com/msoos/cryptominisat/
Lizenzen MIT
Repositorium community
Architektur x86_64
Gruppen
Packer Felix Yan
Erstellt am 13.09.2019 12:36
Veröffentlicht am 06.10.2019 11:50
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket cryptominisat5-5.6.8-3-x86_64.pkg.tar.xz
PGP-Signatur cryptominisat5-5.6.8-3-x86_64.pkg.tar.xz.sig
Paket-Größe 466,38 KByte
Installations-Größe 1,46 MByte

Abhängigkeiten

Dateien