Satisfiability Modulo Theories Python Packages

Python packages with the GitHub topic satisfiability-modulo-theories. Sorted by monthly downloads, with stars and forks.

cosa

CoreIR Symbolic Analyzer

949 75 18

smt-sudoku-mcp

An MCP server to work with Sudoku puzzles using satisfiability modulo theories (SMT).

870 0 0

pydlinear

Refactor of dLinear4 https://github.com/martinjos/dlinear4

128 3 0