viatra / VIATRA-Generator

An efficient graph solver for generating well-formed models
Eclipse Public License 1.0
26 stars 5 forks source link
eclipse-plugin graphs logic modeling

VIATRA-Generator

For more information visit the wiki pages.

All code in this repository is available under the Eclipse Public License v1.0: http://www.eclipse.org/legal/epl-v10.html