Package Details: candy-kingdom-git r1388.e44ef54-1

Git Clone URL: (read-only, click to copy)
Package Base: candy-kingdom-git
Description: A collection of SAT solvers and tools for structure analysis in SAT problems.
Upstream URL:
Licenses: MIT
Submitter: dunj3
Maintainer: dunj3
Last Packager: dunj3
Votes: 0
Popularity: 0.000000
First Submitted: 2020-05-05 10:34
Last Updated: 2020-06-12 14:48