DASCA
/
DASCA
2
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Documented CVC3 dependency.

This commit is contained in:
Achim D. Brucker 2015-06-22 16:48:32 +02:00
parent 77ef98a6f5
commit afce2cc4e2
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
View File

@ -2,6 +2,7 @@
## Installation
### Prerequisites
* Java 8
* CVC3 including the Java bindings for CVC3
* Android SDK (do obtain dx.jar)
### Checkout