Z3Prover / binLinks
Auxiliary repository used to store pre-compiled binary distribution packages of Z3.
☆18Updated 6 years ago
Alternatives and similar repositories for bin
Users that are interested in bin are comparing it to the libraries listed below
Sorting:
- The LTSmin model checking toolset☆59Updated last year
- Linear Dependent Types for Differential Privacy TypeChecker☆32Updated 5 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- Types for Python☆87Updated 7 years ago
- SPARK 2014 repository for the Why3 verification platform.☆33Updated 2 weeks ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- KITTeL/KoAT☆21Updated 6 years ago
- T2 Temporal Prover☆95Updated 7 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆53Updated 5 years ago
- SRI Sally: A model checker for infinite-state systems.☆75Updated 3 months ago
- solver for the reachability modulo theories problem☆61Updated 2 years ago
- OCamlPro public development repository for Alt-Ergo☆139Updated last week
- Lattice-based integer linear programming solver☆65Updated 2 months ago
- Documentation☆44Updated last week
- Pedagogical first-order prover in Python☆76Updated 4 months ago
- An automated deductive program verifier.☆42Updated 2 years ago
- VATA Tree Automata Library☆33Updated last year
- Kodkod solver for relational logic☆79Updated 2 years ago
- Robots powered by Constructive Reals☆34Updated 7 years ago
- Constructive Galois connections☆36Updated 7 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 9 years ago
- MoCHi: Model Checker for Higher-Order Programs☆43Updated 6 months ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆154Updated last month
- PC-miner tool for program chairs☆29Updated last month
- Reference type checker for the Lean theorem prover☆64Updated 8 years ago
- Public snapshots of "ACSL by Example"☆115Updated 5 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- ☆72Updated 5 months ago
- Test and benchmark repository for Z3.☆28Updated last week
- Lem semantic definition language☆147Updated 7 months ago