This repository is not active
elsoroka/smc-z3-julia
Satisfiability modulo convex optimization (Shoukry et al. 2018) implemented in Julia, plus a new Z3 interface
Jupyter Notebook
Satisfiability modulo convex optimization (Shoukry et al. 2018) implemented in Julia, plus a new Z3 interface
Jupyter Notebook
This repository is not active