plum-umd / java-sketchLinks
a Java front-end for Sketch synthesis tool
☆20Updated 11 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:
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- ☆41Updated 6 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- VATA Tree Automata Library☆34Updated last year
- SMTInterpol interpolating SMT solver☆68Updated last month
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆55Updated 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 10 years ago
- A Java program synthesizer.☆22Updated 6 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Grammar prioritization support for EUSolver.☆14Updated 6 years ago
- Official repository for PraPR source code☆14Updated 4 years ago
- Kodkod solver for relational logic☆80Updated 2 years ago
- ☆19Updated 8 years ago
- Pedagogical first-order prover in Python☆79Updated 6 months ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆60Updated 3 weeks ago
- Supplementary files for SSFT 2015 summer school☆12Updated 6 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 3 months ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated 2 months ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆27Updated 6 years ago
- Incremental Program Analysis Framework☆93Updated 4 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆86Updated last month
- GenProg: heuristic, GP-based automatic program repair for C.☆99Updated 4 years ago
- Rosa, the real compiler☆20Updated 7 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Luck -- A Language for Property-Based Generators☆35Updated 10 months ago
- ☆17Updated last year
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆41Updated 2 years ago