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
- Slog 1.0☆38Updated 9 months ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- ☆79Updated 4 months ago
- Datalog + Egg = Good☆66Updated last year
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 5 months ago
- ☆21Updated 2 years ago
- sketches for egg: a flexible, high-performance e-graph library☆26Updated last month
- Datalog with support for SMT queries and first-order functional programming☆155Updated 4 months ago
- Pedagogical first-order prover in Python☆75Updated 2 weeks ago
- vertical + gpu + free join + datalog☆18Updated last month
- ☆11Updated 8 months ago
- software archaeology of reflective towers of interpreters☆15Updated 5 months ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- Prolog, Datalog, languages, resources, and beyond!☆30Updated 4 months ago
- The LTSmin model checking toolset☆57Updated 4 months ago
- A tool for testing C compilers automatically☆20Updated 9 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- library learning w egraphs☆17Updated last year
- Python term rewriting☆29Updated 12 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated last week
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆39Updated last year
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆68Updated 2 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 9 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Python bindings for the egg-smol rust library☆68Updated this week