plum-umd / java-sketchLinks
a Java front-end for Sketch synthesis tool
☆20Updated 8 months ago
Alternatives and similar repositories for java-sketch
Users that are interested in java-sketch are comparing it to the libraries listed below
Sorting:
- ☆41Updated 6 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- 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
- SMTInterpol interpolating SMT solver☆68Updated this week
- Grammar prioritization support for EUSolver.☆13Updated 6 years ago
- Official repository for PraPR source code☆14Updated 4 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 10 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- VATA Tree Automata Library☆33Updated last year
- Interprocedural Distributive Environment algorithm implementation☆16Updated 10 years ago
- A Java program synthesizer.☆22Updated 6 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated last year
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- AE-solver and Skolemizer☆17Updated 10 months ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆26Updated 6 years ago
- Materials for OPLSS 2021☆11Updated 4 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated 2 years ago
- Staged Abstract Interpreters☆68Updated 2 years ago
- ☆17Updated 5 months ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated last year
- Type checking ifdef variability☆79Updated 4 years ago
- Code for enumeration from a CFG☆20Updated 2 years ago
- egraph on top of sqlite☆11Updated 3 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆41Updated 2 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- A Tool for Intersecting Context-Free Grammars☆10Updated 7 years ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- MetaDL: Datalog analyzing Datalog, Java or any language of your choice☆16Updated 3 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated this week