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:
- KITTeL/KoAT☆21Updated 6 years ago
- T2 Temporal Prover☆95Updated 7 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 4 years ago
- Isabelle LLVM Code Generator and Refinement☆28Updated 2 weeks ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆153Updated 3 weeks ago
- SRI Sally: A model checker for infinite-state systems.☆74Updated 2 weeks ago
- git mirror of the Munich isabelle hg repository☆125Updated 2 months ago
- The LTSmin model checking toolset☆60Updated 8 months ago
- Types for Python☆87Updated 6 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- Linear Dependent Types for Differential Privacy TypeChecker☆32Updated 5 years ago
- Kodkod solver for relational logic☆77Updated 2 years ago
- OCamlPro public development repository for Alt-Ergo☆139Updated 3 weeks ago
- Public snapshots of "ACSL by Example"☆112Updated last month
- Robots powered by Constructive Reals☆34Updated 7 years ago
- VATA Tree Automata Library☆32Updated 11 months ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆36Updated last year
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- Supporting tool for Gradual Typing☆16Updated 5 years ago
- MoCHi: Model Checker for Higher-Order Programs☆42Updated 2 months ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Lem semantic definition language☆139Updated 4 months ago
- A collection of small projects to illustrate how to write plugins for Coq☆21Updated 6 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆122Updated 3 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 4 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆126Updated this week
- "Toy" SMT Solver for Educational Purposes☆20Updated 12 years ago
- The opensmt solver☆84Updated last month
- Python term rewriting☆30Updated 12 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago