life4 / deal-solverLinks
z3-powered solver (theorem prover) for deal
☆12Updated 2 years ago
Alternatives and similar repositories for deal-solver
Users that are interested in deal-solver are comparing it to the libraries listed below
Sorting:
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- ☆15Updated 2 years ago
- Advanced macro expander and language lab for Python.☆69Updated 6 months ago
- Combine contracts and automatic testing.☆85Updated 3 years ago
- Cython PyParsing implementation.☆32Updated last year
- ☆17Updated 4 years ago
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆68Updated 3 years ago
- A library for tracking program state☆15Updated 9 years ago
- A library implementing C++'s custom literal suffixes using pure Python.☆35Updated 11 months ago
- Hypothesis strategies for generating Python programs, something like CSmith☆106Updated last year
- A system to Instrument running Python code☆25Updated 4 months ago
- Property-based tests for the Python standard library (and builtins)☆27Updated 3 years ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 14 years ago
- A corpus of Python programs annotated with contracts☆25Updated last week
- Miscellaneous extensions to Trio, the friendly Python async I/O library☆27Updated last year
- Straightforward unification in Python that's extensible via generic functions.☆51Updated last week
- Adaptive fuzzing of Hypothesis tests☆98Updated 3 weeks ago
- Runtime software verification and automated testing for scientific software in Python☆95Updated last year
- Utilities for run-time type validation and multiple dispatch☆171Updated 2 months ago
- Prolog Implementation in Python☆12Updated 7 years ago
- Contractual Semver☆27Updated 3 years ago
- Pure python readline - works on Python 2, Python 3, PyPy 2, PyPy 3☆32Updated last year
- A Datalog Framework for Python☆15Updated 2 years ago
- Python functional programming☆28Updated 3 months ago
- A solver for package problems in CUDF format☆27Updated 3 weeks ago
- Partial evaluation of Python code☆22Updated 2 years ago
- metaprogramming for don't-repeat-yourself Python☆25Updated 6 years ago
- Domain Specific Languages in Python☆97Updated last year
- Operator overloading for fast anonymous functions.☆50Updated 2 weeks ago
- Make implemented in pure Python☆72Updated last year