Cnf Python Packages

pycryptosat

An advanced SAT solver

pindakaas

A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form

pycmsgen

CMSGen, a fast weighted uniform-like sampler

latextocnf

python cli program to convert latex input to CNF (conjunctive normal form).

optimodel

A suite for minimizing constraint systems (CNF/DNF/MILP inequalities)

sat-dependency-resolver

Universal dependency resolver using SAT solvers - works for software packages, course prerequisites, books, certifications, and any system with logical dependencies

normal-form

A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability (SAT)

optisolveapi

Optimization & Solving common API (SAT, MILP, etc.)