cryptominisat5

Paket-Details

Name cryptominisat5
Version 5.6.8-2
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 Kyle Keen
Erstellt am 14.03.2019 18:23
Veröffentlicht am 14.03.2019 18:25
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket cryptominisat5-5.6.8-2-x86_64.pkg.tar.xz
PGP-Signatur cryptominisat5-5.6.8-2-x86_64.pkg.tar.xz .sig
Paket-Größe 460,84 KByte
Installations-Größe 1,44 MByte

Abhängigkeiten

Dateien