Commit 9b9549aa authored by Zijiang Wang's avatar Zijiang Wang
Browse files


parent 8d20cf88
Autocode5 is an implementation of GXW synthesis tool. AC5 allows numeric variables and comparison clauses in GXW
specifications. AC5 will generate a python program according to the input GXW specifications.
For details in GXW theory, see the [paper](
For the former implementation see [here](
#Download and Installation
##Download and Installation
For the source code, download or clone the `srccode` folder. The source folder can be simply open by most modern
Java IDE.
For the binary tool, download the `release` folder only.
......@@ -19,7 +19,7 @@ To run AC5, the environmental requirements are as follows:
The CLI tool of Lingua Franca `lfc` is attached in the release folder.
After downloading or cloning, go into the release directory, use
java -jar Autocode5.jar [inputFilePath]
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment