cryptominisat5 5.6.8-2

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:471.9 KB
Installed Size:1.5 MB
Last Packager:Kyle Keen
Last Updated:2019-03-15 02:23:04 JST

Dependencies (12)

Required By cryptominisat5 (1)