cryptominisat5

Paket-Details

Name cryptominisat5
Version 5.6.8-4
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 04.11.2019 06:53
Veröffentlicht am 14.11.2019 13:57
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket cryptominisat5-5.6.8-4-x86_64.pkg.tar.xz
PGP-Signatur cryptominisat5-5.6.8-4-x86_64.pkg.tar.xz.sig
Paket-Größe 467,56 KByte
Installations-Größe 1,46 MByte

Abhängigkeiten

Dateien