Rust interface for cvc5
☆17Oct 13, 2026Updated 3 weeks ago
Alternatives and similar repositories for cvc5-rs
Users that are interested in cvc5-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Sep 16, 2026Updated last month
- Repository holding releases of our work on the formal verification of x86 binaries.☆22Oct 30, 2026Updated last week
- FPGA synthesis tool powered by equality saturation and program synthesis.☆17Jan 9, 2026Updated 10 months ago
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- Lean4 library for substitution inspired by autosubst☆16Oct 23, 2026Updated 2 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year
- ☆14May 7, 2026Updated 6 months ago
- ☆17Jul 6, 2026Updated 4 months ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆21Updated this week
- Place capability graphs, a model for Rust ownership and borrow system.☆14Updated this week
- A different approach to an E-graph library☆28May 30, 2025Updated last year
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 7 years ago
- ☆11Mar 8, 2025Updated last year
- A mutual induction tactic for Lean 4.☆33Oct 29, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆13Updated this week
- A collection of datapath circuit design and verification benchmarks☆19Aug 24, 2026Updated 2 months ago
- Text embedding and re-ranking in Rust☆14Aug 5, 2026Updated 3 months ago
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- A formally verified symbolic cryptography library for Lean☆21Feb 18, 2026Updated 8 months ago
- ☆13May 26, 2026Updated 5 months ago
- ☆11Aug 21, 2025Updated last year
- ☆16Aug 4, 2026Updated 3 months ago
- ☆12Oct 13, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Formally Verified X.509 Certificate Validation☆18Nov 19, 2025Updated 11 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated last month
- A Rust hashconsing library.☆40Oct 8, 2026Updated last month
- ☆11Feb 14, 2020Updated 6 years ago
- ☆14Jun 15, 2026Updated 4 months ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- ☆20Sep 9, 2026Updated last month
- Optimize Z3 strategies for your problem!☆28Oct 20, 2026Updated 2 weeks ago
- An intermediate verification language☆31Jan 4, 2026Updated 10 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- benchmarks for hls equivalence checking☆11Nov 22, 2022Updated 3 years ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- ☆12Updated this week
- A tree-sitter grammar for Soufflé Datalog☆18Oct 25, 2025Updated last year
- ☆14Apr 20, 2020Updated 6 years ago
- ☆15Jul 9, 2026Updated 3 months ago
- Lean formalization of selected lemmas from "Term Rewriting and All That"☆18Apr 20, 2026Updated 6 months ago