Oszkár Semeráth's repositories
Language:Java000
ModelLearning
Models for model learning
Language:Java000
org.eclipse.viatra
Github Mirror of VIATRA Eclipse repository
oszkarsemerath.github.io
Personal webpage
Language:TeX000
refinery
Refinery: an efficient graph solver for generating well-formed models
Language:JavaEPL-2.0000