cnfgen
Generate DIMACS CNF formula from operations
0.7.0
5.8M downloads/mo
#4237 most downloaded on crates.io
matszpk/cnfgen
What this package is like to depend on
Last release 4 months ago
11 Apr 2026
Ships unpredictably
gaps range from 2 weeks to 1.2 years
Rarely documented
notes for 4 of 18 stable releases
Nothing withdrawn
no release was ever pulled
4 years old
18 releases · first in 2022
1 release in the last 12 months
see the full history below
Release timeline
18 releases · Oct 2022 to Apr 2026Releases
latest 18-
0.7.011 Apr 2026Nothing published for this version
-
0.6.216 Feb 2025Nothing published for this version
-
0.6.115 Feb 2025Nothing published for this version
-
0.6.014 Feb 2025 -
0.5.631 Dec 2024Nothing published for this version
-
0.5.513 Dec 2024Nothing published for this version
-
0.5.413 Dec 2024Nothing published for this version
-
0.5.312 Dec 2024 -
0.5.212 Dec 2024 -
0.5.114 Oct 2024 -
0.5.029 Sep 2024Nothing published for this version
-
0.4.014 Jun 2024Nothing published for this version
-
0.3.304 May 2024Nothing published for this version
-
0.3.212 Apr 2024Nothing published for this version
-
0.3.129 Jan 2024Nothing published for this version
-
0.3.028 Jan 2024Nothing published for this version
-
0.2.203 Jan 2023Nothing published for this version
-
0.2.115 Oct 2022Nothing published for this version