MojtabaValizadeh / paresy
Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
☆13Updated this week
Alternatives and similar repositories for paresy:
Users that are interested in paresy are comparing it to the libraries listed below
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 5 months ago
- ☆16Updated 7 months ago
- The Termination Problem Database☆28Updated last month
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- A fast and simple automata library☆24Updated 2 weeks ago
- ☆11Updated 8 months ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated last year
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 9 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆41Updated 8 months ago
- ☆17Updated last year
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆38Updated last year
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated 2 weeks ago
- ☆5Updated 2 months ago
- A SyGuS Solver☆25Updated last month
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 2 years ago
- ☆19Updated last month
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- AE-solver and Skolemizer☆16Updated 2 months ago
- Regular expression for form validations synthesizer☆15Updated 4 years ago
- ☆11Updated 3 years ago
- Cube-and-Conquer SAT solver☆32Updated last year
- Multi-core Decision Diagram (BDD/LDD) implementation☆42Updated last year
- A Fast Floating-Point Satisfiability Solver☆21Updated 6 years ago
- ☆34Updated 7 months ago
- The first scalable probabilistic exact counter☆28Updated this week