Search Packages

pindakaas

Boolean satisfiability (SAT) library with efficient encoding of complex constraints and solver interaction

pycryptosat

An advanced SAT solver

pycmsgen

CMSGen, a fast weighted uniform-like sampler

sat-dependency-resolver

Universal dependency resolver using SAT solvers

latextocnf

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

normal-form

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

optimodel

Tools for generating ~shortest MILP and SAT models

optisolveapi

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