conda / pycosatLinks
Python bindings to picosat (a SAT solver)
☆192Updated 2 months ago
Alternatives and similar repositories for pycosat
Users that are interested in pycosat are comparing it to the libraries listed below
Sorting:
- An IPython notebook plugin for visualizing ASTs.☆107Updated 9 months ago
- A library for pattern matching on symbolic expressions in Python.☆170Updated last year
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆256Updated last week
- An interface to SAT solver tools (like minisat)☆62Updated 3 years ago
- Python AST that abstracts the underlying Python version☆146Updated this week
- Resolution theorem proving for predicate logic in pure Python.☆96Updated last year
- PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified…☆409Updated 2 months ago
- Domain Specific Languages in Python☆97Updated last year
- ☆71Updated 4 years ago
- An AST unparser for Python☆230Updated 2 years ago
- An experiment to use infix operators in Python☆57Updated 6 years ago
- Python code object transformers☆184Updated last year
- Python wrapper for MPFR, providing high-precision floating-point arithmetic☆44Updated last year
- A simple package to do symbolic math (focus on code gen and DSLs)☆122Updated this week
- Python Meta Programming☆147Updated 3 years ago
- Regular expression manipulation library☆375Updated last month
- ☆608Updated 8 years ago
- Static optimizer specializing functions with guards for Python 3.6☆73Updated 6 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Python Combinatorial Optimisation Platform☆160Updated 4 years ago
- Specify and synthesize systems using symbolic algorithms☆51Updated 11 months ago
- Generic programming library for Python☆61Updated this week
- face Python bytecode metaprogramming API fork☆71Updated 4 years ago
- ☆285Updated last year
- PyInterval — Interval arithmetic in Python☆88Updated 8 years ago
- Annotate Python AST trees with source text and token information☆189Updated last month
- A list-like type with better asymptotic performance and similar performance on small lists☆317Updated 2 years ago
- A Python CAS library☆72Updated 3 weeks ago
- Parser interpreter based on PEG grammars written in Python http://textx.github.io/Arpeggio/☆284Updated last month
- a friendly yet powerful LR-parser written in Python☆267Updated 7 years ago