Fix the path to Z3 in the solver - Githubissues

DeepseaPlatform / coastal

Concolic analysis tool for Java

https://deepseaplatform.github.io/coastal/

Apache License 2.0

21 stars 9 forks source link

Fix the path to Z3 in the solver #32

Closed jacogeld closed 5 years ago