Notes:
The first step is to update "build.properties" with your local settings. You do not need to set z3 and latte, but in that case some unit tests won't run.
wvisser/green
This branch is 36 commits ahead of, 231 commits behind GreenSolver/green:master.
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Latest commit2089300 · | ||||