delphi is a prototype implementation of Synthesis Modulo Oracles (SyMO) and SMT with oracles (SMTO)
Primary LanguageC++