/webinterface-backend

The framework to create the back end jar of Adam containing the model checker and the synthesizer for the web interface in repository: webinterface. Contains the packages: webinterface-backend. Depends on repos: libs, framework, logics, modelchecker, synthesizer.

Primary LanguageJavaGNU General Public License v3.0GPL-3.0

Watchers