piantado / enumerateCFG
Code for enumeration from a CFG
☆18Updated last year
Alternatives and similar repositories for enumerateCFG:
Users that are interested in enumerateCFG are comparing it to the libraries listed below
- ☆80Updated 5 months ago
- An interface for using mwillsey/egg with math simplification.☆13Updated 9 months ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Datalog + Egg = Good☆66Updated last year
- Slog 1.0☆39Updated 9 months ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆15Updated this week
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- ☆21Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- ☆11Updated 8 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- sketches for egg: a flexible, high-performance e-graph library☆26Updated this week
- library learning w egraphs☆17Updated last year
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆13Updated last month
- ☆14Updated 4 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- 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
- ☆34Updated 4 years ago
- KITTeL/KoAT☆21Updated 6 years ago
- ☆16Updated 8 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 5 months ago
- EGraphs in OCaml☆65Updated last year
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- ☆16Updated 3 years ago
- The Ciao Preprocessor☆11Updated 4 months ago