cryptominisat5 5.6.8-4

Architecture:x86_64
Repository:community
Base Package:cryptominisat5
Description:A modern, multi-threaded, feature-rich, simplifying SAT solver
Upstream URL:https://github.com/msoos/cryptominisat/
License(s):MIT
Package Size:478.8 KB
Installed Size:1.5 MB
Last Packager:Felix Yan
Last Updated:2019-11-04 14:53:34 JST

Dependencies (12)

Required By cryptominisat5 (1)