/smc-z3-julia

Satisfiability modulo convex optimization (Shoukry et al. 2018) implemented in Julia, plus a new Z3 interface

Primary LanguageJupyter Notebook

Stargazers

No one’s star this repository yet.