Nopol

Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
Alternatives To Nopol
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Suslik103
2 years ago17otherScala
Synthesis of Heap-Manipulating Programs from Separation Logic
Nopol83
2 years ago20gpl-2.0Java
Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
Grisette43
3 months ago5September 29, 20239otherHaskell
A monadic library for symbolic evaluation
Fastsmt40
4 years ago4apache-2.0SMT
Learning to Solve SMT Formulas Fast
Eda_tools24
9 months agomitDockerfile
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.
Cdgp15
2 years agomitSlash
Counterexample-Driven Genetic Programming
Cegis12
7 years agootherC++
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
Z3_codegen8
6 years agounlicenseC++
A toy code generator (i.e. "program synthesis") using the Z3 solver
Party Elli6
4 years agomitPython
SMT based bounded synthesis
Tara5
6 years agoC++
Our trace seperation tool, originally introduced on POPL15.
Alternatives To Nopol
Select To Compare


Alternative Project Comparisons
Popular Smt Projects
Popular Synthesis Projects
Popular Software Quality Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Java
Mathematics
Synthesis
Bibtex
Smt