GitHub repository: polgreen/delphi
Primary language: C++
Description: delphi is a prototype implementation of Synthesis Modulo Oracles (SyMO) and SMT with oracles (SMTO)