Last released Jun 4, 2026
A modular constraint solver — SAT, SMT, LP, MILP, CP, MINLP
Last released May 16, 2026
Lightweight local dataflow and shared-memory channels for Python.
Tangent-centered numerical tools in Rust with Python bindings
Supported by
