conda / pycosatLinks
Python bindings to picosat (a SAT solver)
☆191Updated this week
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 7 months ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆248Updated 3 months ago
- Resolution theorem proving for predicate logic in pure Python.☆96Updated last year
- An interface to SAT solver tools (like minisat)☆61Updated 2 years ago
- Python code object transformers☆184Updated last year
- A library for pattern matching on symbolic expressions in Python.☆169Updated last year
- An experiment to use infix operators in Python☆57Updated 6 years ago
- PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified…☆407Updated 2 months ago
- A Python CAS library☆72Updated last week
- Python wrapper for MPFR, providing high-precision floating-point arithmetic☆44Updated last year
- A tiny 1000 line LLVM-based numeric specializer for scientific Python code.☆410Updated 3 years ago
- ☆71Updated 4 years ago
- Domain Specific Languages in Python☆97Updated last year
- Static optimizer specializing functions with guards for Python 3.6☆72Updated 6 years ago
- Python Meta Programming☆145Updated 2 years ago
- An AST unparser for Python☆228Updated 2 years ago
- A list-like type with better asymptotic performance and similar performance on small lists☆316Updated 2 years ago
- face Python bytecode metaprogramming API fork☆71Updated 4 years ago
- ☆285Updated last year
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- 🚀 🐍 Optimizes Python bytecode calculating linear recurrences, reducing the time complexity from O(n) to O(log n)☆181Updated 3 years ago
- Python Abstract Syntax Tree viewer in Qt☆105Updated 2 years ago
- Python subsets☆41Updated 8 years ago
- Runtime compiler for numerical Python☆235Updated 6 months ago
- ☆608Updated 7 years ago
- Tail Call Optimization for Python☆241Updated 8 years ago
- F L i P : Logical Framework in Python☆37Updated 2 years ago
- a friendly yet powerful LR-parser written in Python☆267Updated 7 years ago
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆429Updated 2 months ago
- Python pattern matching like functional languages.☆160Updated 4 years ago