https://github.com/whitemech/lydia-web-app
Web app to interact with the Lydia tool.
https://github.com/whitemech/lydia-web-app
automata docker gplv3 ldlf ldlf2dfa ltlf ltlf2dfa lydia python synthesis temporal-logic
Last synced: 5 months ago
JSON representation
Web app to interact with the Lydia tool.
- Host: GitHub
- URL: https://github.com/whitemech/lydia-web-app
- Owner: whitemech
- License: gpl-3.0
- Created: 2020-08-22T10:45:32.000Z (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2021-06-20T16:55:59.000Z (almost 5 years ago)
- Last Synced: 2023-03-03T22:13:04.679Z (over 3 years ago)
- Topics: automata, docker, gplv3, ldlf, ldlf2dfa, ltlf, ltlf2dfa, lydia, python, synthesis, temporal-logic
- Language: JavaScript
- Homepage: http://lydia.whitemech.it
- Size: 2.69 MB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 4
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
This is a web application based on Lydia. It offers
a GUI to translate LDLf formula into DFAs.
It's made of
- a server-side API written in Python using the Lydia tool,
- a client-side web application written using ReactJS,
and calling that API.
## Set up
Follow the instructions to set up the development environment.
- Clone the repository
```
git clone https://github.com/whitemech/lydia-web-app.git --recursive
```
- Create the virtual environment and install the Python dependencies:
```
cd server && pipenv shell --python 3.7 && pipenv install --dev && cd ../
```
- Make sure you have `npm` available on your system; then:
```
cd client && npm install && cd ../
```
## Run (manually)
To launch the server on http://localhost:5000:
```
python server/lydia_api/app.py
```
Then launch a client with
```
cd client
npm run start
```
Now any save to `lydia_api/app.py` or `client/src/LydiaApp.js` will cause these
components to reload automatically.
## Run with Docker Compose
You can run the whole system with [Docker Compose](https://docs.docker.com/compose/). Please make
sure you have both [Docker](https://www.docker.com/) and
[Docker Compose](https://docs.docker.com/compose) installed on your machine. Then:
```
docker-compose build
docker-compose up
```
You can access the front-end at http://localhost:3000 and the backend at http://localhost:5000/api.
## Authors
- Marco Favorito, [favorito@diag.uniroma1.it](mailto:favorito@diag.uniroma1.it)
## License
Both client and server are GPLv3 (see COPYING) as they build upon Lydia, which is GPLv3.
[Copyright WhiteMech 2020.](https://whitemech.github.io)