Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Suslik | 103 | 2 years ago | 17 | other | Scala | |||||
Synthesis of Heap-Manipulating Programs from Separation Logic | ||||||||||
Nopol | 83 | 2 years ago | 20 | gpl-2.0 | Java | |||||
Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth. | ||||||||||
Grisette | 43 | 3 months ago | 5 | September 29, 2023 | 9 | other | Haskell | |||
A monadic library for symbolic evaluation | ||||||||||
Fastsmt | 40 | 4 years ago | 4 | apache-2.0 | SMT | |||||
Learning to Solve SMT Formulas Fast | ||||||||||
Eda_tools | 24 | 10 months ago | mit | Dockerfile | ||||||
A Dockerfile with a collections of ready to use open source EDA tools: Yosys, SimbiYosys (with Z3, boolector and Yices2), nextpnr-ice40, netxpnr-ecp5, nextpnr-gowin, Amaranth HDL, Silice and Verilator. | ||||||||||
Cdgp | 15 | 2 years ago | mit | Slash | ||||||
Counterexample-Driven Genetic Programming | ||||||||||
Cegis | 12 | 7 years ago | other | C++ | ||||||
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research | ||||||||||
Z3_codegen | 8 | 6 years ago | unlicense | C++ | ||||||
A toy code generator (i.e. "program synthesis") using the Z3 solver | ||||||||||
Party Elli | 6 | 4 years ago | mit | Python | ||||||
SMT based bounded synthesis | ||||||||||
Tara | 5 | 6 years ago | C++ | |||||||
Our trace seperation tool, originally introduced on POPL15. |