elsoroka/smc-z3-julia
Satisfiability modulo convex optimization (Shoukry et al. 2018) implemented in Julia, plus a new Z3 interface
Jupyter Notebook
Stargazers
No one’s star this repository yet.
Satisfiability modulo convex optimization (Shoukry et al. 2018) implemented in Julia, plus a new Z3 interface
Jupyter Notebook
No one’s star this repository yet.