pysathq/pysat

A toolkit for SAT-based prototyping in Python

Python

461

476 commits

updated Aug 16, 2026

pysathq.github.io

See the code

Contributors

365 commits

23 commits

22 commits

11 commits

Similar repos

mhulden/pyfoma

Python Finite-State Toolkit

pybop-team/PyBOP

A parameterisation and optimisation package for battery models.

214

starkware-libs/stwo

StarkWare's next gen prover

502

0vercl0k/z3-playground

A repository to store Z3-python scripts you can use as examples, reminders, whatever.

282

zhengkid/Parallel_Thinking_via_MoT

Official Code for "Learning to Reason via Mixture-of-Thought for Logical Reasoning"

johnyf/tool_lists

Links to tools by subject

395

Prathmesh234/simple-inference-autoresearch

Simple inference scaffolding + autoresearch

pola-rs/pyo3-polars

Plugins/extension for Polars

308

Languages

Python

59.6%

C++

34.3%

HTML

2.6%

CSS

2.0%

pysathq/pysat

A toolkit for SAT-based prototyping in Python

Python

461

476 commits

updated Aug 16, 2026

pysathq.github.io

See the code

Similar repos

mhulden/pyfoma

Python Finite-State Toolkit

pybop-team/PyBOP

A parameterisation and optimisation package for battery models.

214

starkware-libs/stwo

StarkWare's next gen prover

502

0vercl0k/z3-playground

A repository to store Z3-python scripts you can use as examples, reminders, whatever.

282

zhengkid/Parallel_Thinking_via_MoT

Official Code for "Learning to Reason via Mixture-of-Thought for Logical Reasoning"

johnyf/tool_lists

Links to tools by subject

395

Prathmesh234/simple-inference-autoresearch

Simple inference scaffolding + autoresearch

pola-rs/pyo3-polars

Plugins/extension for Polars

308

Contributors

365 commits

23 commits

22 commits

11 commits

Languages

Python

59.6%

C++

34.3%

HTML

2.6%

CSS

2.0%