cryptominisat5 5.6.8-6

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:517.6 KB
Installed Size:1.5 MB
Last Packager:Evangelos Foutras
Last Updated:2020-01-28 13:03:14 JST

Dependencies (10)

Required By cryptominisat5 (1)