Fastsmt
| 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. | ||||||||||
Alternatives To FastsmtSelect To Compare
Alternative Project Comparisons
Popular Smt Projects
Popular Synthesis Projects
Popular Software Quality Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Synthesis
Tensorboard
Smt