conda / pycosat
Python bindings to picosat (a SAT solver)
☆185Updated last week
Alternatives and similar repositories for pycosat:
Users that are interested in pycosat are comparing it to the libraries listed below
- A library for pattern matching on symbolic expressions in Python.☆167Updated 11 months ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆242Updated this week
- An experiment to use infix operators in Python☆56Updated 6 years ago
- Set of tools to play with Python AST.☆83Updated 2 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- An IPython notebook plugin for visualizing ASTs.☆99Updated 2 months ago
- PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified…☆405Updated 3 months ago
- An AST unparser for Python☆226Updated last year
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- Python code object transformers☆185Updated last year
- Python AST that abstracts the underlying Python version☆144Updated last month
- A list-like type with better asymptotic performance and similar performance on small lists☆314Updated 2 years ago
- General Multi-Precision arithmetic for Python 2.6+/3+ (GMP, MPIR, MPFR, MPC)☆537Updated last week
- Extract semantic information about static Python code☆74Updated last week
- PyInterval — Interval arithmetic in Python☆87Updated 7 years ago
- Resolution theorem proving for predicate logic in pure Python.☆93Updated last year
- Python wrapper for MPFR, providing high-precision floating-point arithmetic☆44Updated 11 months ago
- face Python bytecode metaprogramming API fork☆71Updated 4 years ago
- Annotate Python AST trees with source text and token information☆177Updated 2 weeks ago
- Domain Specific Languages in Python☆96Updated last year
- A tiny 1000 line LLVM-based numeric specializer for scientific Python code.☆409Updated 3 years ago
- A Python CAS library☆72Updated last week
- Hypothesis strategies for generating Python programs, something like CSmith☆99Updated last year
- Static optimizer specializing functions with guards for Python 3.6☆73Updated 5 years ago
- pySMT: A library for SMT formulae manipulation and solving☆584Updated last month
- Python Meta Programming☆142Updated 2 years ago
- Exact Inference Engine for Probabilistic Programs☆132Updated last week
- Git mirror of Pyparsing SVN repository (https://pyparsing.svn.sourceforge.net/svnroot/pyparsing)☆38Updated 13 years ago
- Draw NetworkX graphs using pydot/graphviz, with support for IPython notebooks.☆117Updated 5 years ago
- ☆285Updated last year