Results for cnfgen

Found in 2 of 7 ecosystems · 4 matches across other registries

How we search: free-text on npm, crates.io, RubyGems, NuGet and Maven. PyPI and Go do exact-name lookup only. Tip: click an ecosystem chip below to filter; click Show all ecosystems to come back.

Sort

Auto-load on scroll

PyPI matches

Exact match · Python

CNFgenv0.9.5

PyPI

CNF formula generator

Aging — last published 11 months ago — check before adopting.

crates.io matches

3 matches · Rust

cnfgenv0.7.0

crates.io

Generate DIMACS CNF formula from operations

MaintenanceHealthy

PopularityWidely used

SecurityClean

DepsZero deps

Solid choice. Well-adopted and active, actively maintained.

cnfgen-nand-optv0.1.1

crates.io

Generate CNF for circuits

Abandoned. Last published 3 years ago.

cnfgen2v0.2.0

crates.io

Generate DIMACS CNF formula from operations (second version)

Maintained. Niche but maintained, actively maintained.