aiverification / neuralmc
☆14Updated 3 months ago
Alternatives and similar repositories for neuralmc:
Users that are interested in neuralmc are comparing it to the libraries listed below
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆11Updated 3 weeks ago
- ☆16Updated last year
- ☆34Updated 9 months ago
- Egraphs Modulo Theories☆13Updated last month
- ☆15Updated last year
- Rigorous Global Branch-and-Bound Optimizer☆23Updated 4 months ago
- egraph on top of sqlite☆11Updated 3 years ago
- Interactive visualizer for e-graphs☆21Updated 4 months ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆41Updated this week
- Schedule for ArtOfSAT☆10Updated last year
- FPGA synthesis tool powered by program synthesis☆41Updated last week
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆15Updated 5 months ago
- ☆16Updated 3 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆28Updated last month
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆18Updated this week
- Tools for manipulating CHC and related files☆14Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- Automatically generate a compiler using equality saturation☆28Updated last year
- egraph <-> json☆13Updated 6 months ago
- A fast and certifying solver for quantified Boolean formulas.☆27Updated 11 months ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆23Updated this week
- ☆12Updated 2 years ago
- Public reference documents for the SMT-LIB standard☆16Updated 2 weeks ago
- ☆9Updated this week
- Pono: A flexible and extensible SMT-based model checker☆99Updated this week
- Utilities for constructing a large dataset of LLVM IR☆19Updated 8 months ago
- ☆17Updated 10 months ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆11Updated 7 months ago
- Language models for Coq based on data collected from the coq lsp.☆11Updated this week