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

Git Clone URL: https://aur.archlinux.org/cryptominisat5-git.git (read-only, click to copy)
Package Base: cryptominisat5-git
Description: A modern multi-threaded SAT solver. With experimental features enabled.
Upstream URL: https://github.com/msoos/cryptominisat/
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
Last Updated: 2019-04-29 21:43