koehlma / rigorous
A framework for working with inference rules.
☆10Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for rigorous
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆18Updated 3 months ago
- Python bindings for the egg-smol rust library☆65Updated this week
- Specify and synthesize systems using symbolic algorithms☆46Updated 3 weeks ago
- ☆33Updated 4 months ago
- SMTInterpol interpolating SMT solver☆61Updated 4 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆33Updated last year
- Python term rewriting☆27Updated 11 years ago
- ☆13Updated last year
- Pedagogical first-order prover in Python☆73Updated 2 weeks ago
- The DRAT-trim proof checker☆50Updated 6 months ago
- Extract semantic information about static Python code☆70Updated last month
- ☆30Updated 3 months ago
- The Standard Interface for Incremental Satisfiability Solving☆48Updated 2 years ago
- ☆35Updated 5 years ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- StarExec is a cross community logic solving service☆17Updated 5 months ago
- Partial evaluation of Python code☆18Updated last year
- Types for Python☆86Updated 6 years ago
- Cerberus C semantics☆53Updated this week
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- ☆17Updated 3 years ago
- Tons of Inductive Problems: The Benchmarks☆24Updated last year
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- SIGPLAN website☆10Updated this week
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 5 years ago
- A model checker based on SAT solving and induction☆13Updated 9 years ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆12Updated 2 weeks ago
- Flow graphs for Python☆25Updated 2 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆33Updated 2 weeks ago
- program synthesis is possible☆39Updated 5 years ago