CNFGEN is used at run time in 5 crates. It is a direct run-time dependency in 4 crates.
| Number of dependers | CNFGEN version | Downloads/month |
|---|---|---|
| 3 | 0.6.2 | 9 |
| 0 | 0.6.1 | 16 |
| 2 | 0.2.2 | 0 |
| Depender (with downloads and own rev deps) | CNFGEN version | |||
|---|---|---|---|---|
| 1 | gateconvert | ^0.6.0 | ||
| circuit_sat_check | ^0.6 | |||
| bool2cnf | ^0.2.1 | |||
| cnfgen-nand-opt | ^0.2.1 | |||