PyPI Stats
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About
Home

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
MiniZinc
minizinc

Access to all MiniZinc functionality directly from Python

46K 208 28
msoos
pycryptosat

An advanced SAT solver

45K 929 199
StevenBtw
solvor

Optimization solvers in pure Python: LP, MILP, SAT, constraint programming, graph and metaheuristics. No dependencies. Solvor all your optimization needs.

18K 28 0
welchbj
ttable

a Pythonic toolkit for working with Boolean expressions

5K 219 12
dynaroars
neuralsat

NeuralSAT: A DPLL(T) Framework for Verifying Deep Neural Networks

934 31 11
toda-lab
pygplib

Pygplib: Python First-Order Graph Property Library

393 1 0
Apollo87z
sat-dependency-resolver

Universal dependency resolver using SAT solvers

360 2 0
vaibhavkarve
normal-form

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

291 3 0
HRSAndrabi
npycomp

A Python library for NP-complete reductions.

189 0 0
TimeLordRaps
satisfaction-suffices

SAT-gated structural containment for AI — verification gate, four-verdict system, proof evolution, and paradox logic

120 1 0
TimeLordRaps
satisfiable-ai

HuggingFace dataset wrappers for SAT-verified training data

73 1 0
Jakob-Bach
kpsearch

Code and text for the paper "A Comprehensive Study of k-Portfolios of Recent SAT Solvers".

68 3 0
msakai
pyglucose

pybind11-based binding of glucose SAT solver

34 1 0
    • Data from PyPI, GitHub, ClickHouse, and BigQuery