Commit eb3be055 authored by Zijiang Wang's avatar Zijiang Wang
Browse files

Delete README.md

parent 9b9549aa
Autocode5
===
##Background
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](https://link.springer.com/chapter/10.1007/978-3-319-41528-4_6).
For the former implementation see [here](https://sourceforge.net/projects/autocode4/).
##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.
To run AC5, the environmental requirements are as follows:
- Java 11+
- [Yices](https://github.com/SRI-CSL/yices2) 2.6.4+
- [Lingua Franca](https://github.com/lf-lang/lingua-franca) 0.7.0+
The CLI tool of Lingua Franca `lfc` is attached in the release folder.
##Usage
After downloading or cloning, go into the release directory, use
java -jar Autocode5.jar [inputFilePath]
A `model.lf` file will be generated in the current directory. This is the synthesized model of input specifications.
Then go into the `lfc` directory, run
./lfc ../model.lf
Generated python program is in `release/src-gen/model/model.py`.
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