cryptominisat5

Paket-Details

Name cryptominisat5
Version 5.6.8-6
Beschreibung A modern, multi-threaded, feature-rich, simplifying SAT solver
URL https://github.com/msoos/cryptominisat/
Lizenzen MIT
Repositorium community
Architektur x86_64
Packer Evangelos Foutras
Erstellt am 28.01.2020 05:03
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket cryptominisat5-5.6.8-6-x86_64.pkg.tar.zst
PGP-Signatur cryptominisat5-5.6.8-6-x86_64.pkg.tar.zst.sig
Paket-Größe 505,45 KByte
Installations-Größe 1,44 MByte

Abhängigkeiten

optional von

optional für

Dateien