GitHub - elsoroka/smc-z3-julia: Satisfiability modulo convex optimization (Shoukry et al. 2018) implemented in Julia, plus a new Z3 interface

elsoroka / smc-z3-julia Public

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

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 31 Commits
cvx_prettyprint.jl		cvx_prettyprint.jl
example.jl		example.jl
planning_example.ipynb		planning_example.ipynb
planning_example.jl		planning_example.jl
small_example.ipynb		small_example.ipynb
small_smc_example.jl		small_smc_example.jl
smalltest.jl		smalltest.jl
smc.jl		smc.jl
smc_old.jl		smc_old.jl
smc_utility.jl		smc_utility.jl
z3_unittest.jl		z3_unittest.jl
z3_utility.jl		z3_utility.jl