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 | 190 |
| 0 | 0.6.0 | 120 |
| 2 | 0.2.2 | 0 |
| Depender (with downloads and own rev deps) | CNFGEN version | |||
|---|---|---|---|---|
| bool2cnf | ^0.2.1 | |||
| cnfgen-nand-opt | ^0.2.1 | |||
| circuit_sat_check | ^0.6 | |||
| 1 | gateconvert | ^0.6.0 | ||