conda / pycosatLinks
Python bindings to picosat (a SAT solver)
☆189Updated 2 months ago
Alternatives and similar repositories for pycosat
Users that are interested in pycosat are comparing it to the libraries listed below
Sorting:
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆246Updated 3 weeks ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- ☆71Updated 4 years ago
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆423Updated last month
- Python code object transformers☆185Updated last year
- Parser interpreter based on PEG grammars written in Python http://textx.github.io/Arpeggio/☆274Updated 7 months ago
- An IPython notebook plugin for visualizing ASTs.☆102Updated 4 months ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Python Abstract Syntax Tree viewer in Qt☆104Updated 2 years ago
- A library for pattern matching on symbolic expressions in Python.☆168Updated last year
- Python Combinatorial Optimisation Platform☆159Updated 4 years ago
- A list-like type with better asymptotic performance and similar performance on small lists☆314Updated 2 years ago
- An experiment to use infix operators in Python☆57Updated 6 years ago
- pySMT: A library for SMT formulae manipulation and solving☆602Updated this week
- a heap with decrease-key and increase-key operations☆101Updated 5 years ago
- PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified…☆408Updated this week
- Python pattern matching like functional languages.☆160Updated 4 years ago
- A toolkit for SAT-based prototyping in Python☆421Updated this week
- Set of tools to play with Python AST.☆83Updated 2 years ago
- face Python bytecode metaprogramming API fork☆71Updated 4 years ago
- Resolution theorem proving for predicate logic in pure Python.☆94Updated last year
- Python bytecode instrumentation library☆119Updated 8 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆102Updated last year
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 3 years ago
- Static optimizer specializing functions with guards for Python 3.6☆72Updated 5 years ago
- An AST unparser for Python☆228Updated last year
- Domain Specific Languages in Python☆96Updated last year
- Recursive descent parsing library for Python based on functional combinators☆351Updated last year
- Python wrapper for MPFR, providing high-precision floating-point arithmetic☆44Updated last year
- Repo for the paper "SymPy: symbolic computing in python"☆47Updated 4 years ago