Published November 17, 2019
| Version v0.8.2-vsids
Software
Open
CNFgen
Description
CNF generator in DIMACS format. It produces common families of CNFs.
Files
marcvinyals/cnfgen-v0.8.2-vsids.zip
Files
(276.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:b07897b8632af4b92f06e26ea8e4a479
|
276.2 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/marcvinyals/cnfgen/tree/v0.8.2-vsids (URL)