rustio rustio.net
46

cnfgen2

v0.1.1 Experimental

Generate DIMACS CNF formula from operations (second version)

Apache-2.0 Edition 2021
ScienceMathematics #logic#sat#cnf#cnfgen

Quick Verdict

  • !Pre-1.0: API may have breaking changes
  • โœ“Tiny footprint (106KB, 3 deps)
  • โœ“Permissive license (Apache-2.0)

Security

Checking security advisories...
Downloads
46
Dependents
0
Releases
2
Size
106KB

Deep Insights

๐Ÿ“Š
Download activity

6 downloads in the last 30 days (0/day avg).

๐Ÿชถ
Minimal dependencies

Only 3 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.

Health Breakdown

Maintenance 12/25

Recency, release consistency, active ratio

Quality 13/25

Yanked ratio, deps, size, maturity, features

Community 6/20

Reverse deps, ownership, ecosystem

Popularity 2/15

Downloads, momentum, growth trend

Documentation 13/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
0/day avg-58%
00.511.5212/301/172/42/223/123/29

Version Adoption

v0.1.1
54%
v0.1.0
46%

Release Timeline

2 releasessince 2025
J
F
M
A
M
J
J
A
S
O
N
D
2025
2
2026
Less
More

README

Loading README...

Maintainers

Dependencies
3
direct dependencies
Dependents
0
crates depend on cnfgen2

Similar Crates