python-sat
A Python library for prototyping with SAT oracles
- Category
- Python packages
pip install python-sat Official docs outline
python-sat.readthedocs.ioExtra Credit builds an outline of python-sat's docs the first time your work uses it. Until then, start at the official documentation.
More in Python packages
All 9,553- ada-url URL parser and manipulator based on the WHAT WG URL standard
- gpiod Python bindings for libgpiod
- python-youtube A Python wrapper around for YouTube Data API.
- salib Tools for global sensitivity analysis. Contains Sobol', Morris, FAST, DGSM, PAWN, HDMR, Moment Independent and fractional factorial methods
- pulumi-github A Pulumi package for creating and managing github cloud resources.
- peakrdl-ipxact Import and export IP-XACT XML to/from the systemrdl-compiler register model
- azure-ai-agentserver-invocations Invocations protocol for Azure AI Hosted Agents
- gmsh Gmsh is a three-dimensional finite element mesh generator with built-in pre- and post-processing facilities.
- base32-crockford A Python implementation of Douglas Crockford's base32 encoding scheme
- langchain-quickjs JavaScript REPL middleware for deepagents
- tesserocr A simple, Pillow-friendly, Python wrapper around tesseract-ocr API using Cython
- aws-cryptography-internal-primitives