CNF+ generators for multiple problems with cardinality constraints, such as: n-queens, tomography, word design for dna computing on surfaces as well as random cardinality constraints
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.