PyPI Stats

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
meelgroup
pyapproxmc

Approximate Model Counter

13K 87 29
welchbj
ttable

a Pythonic toolkit for working with Boolean expressions

5K 219 12
jeffrey-hokanson
satyrn

An interface to SAT solvers

452 1 0
toda-lab
pygplib

Pygplib: Python First-Order Graph Property Library

393 1 0
circuitgraph
circuitgraph

Tools for working with circuits as graphs in python

371 129 14
hellman
optimodel

Tools for generating ~shortest MILP and SAT models

122 2 1
fkutzner
pycscl

No description available

76 5 1
hellman
optisolveapi

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

56 2 0