Package Details: cryptominisat5-git 5.6.8.r171.gc1b9ed65-1

Git Clone URL: (read-only, click to copy)
Package Base: cryptominisat5-git
Description: A modern multi-threaded SAT solver. With experimental features enabled.
Upstream URL:
Licenses: MIT
Conflicts: cryptominisat5
Provides: cryptominisat5
Submitter: keenerd
Maintainer: keenerd
Last Packager: keenerd
Votes: 0
Popularity: 0.000000
First Submitted: 2019-04-29 21:43 (UTC)
Last Updated: 2019-04-29 21:43 (UTC)

Dependencies (13)

Required by (4)

Sources (1)