plugin.properties « hu.bme.mit.inf.dlsreasoner.alloy.reasoner « Alloy-Solver2 « Solvers - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

about summary refs log tree commit diff stats

path: root/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/plugin.properties

blob: 8a902309ad16edeb95a9310246c3158a8138ce28 (plain) (blame)

#

pluginName = AlloyLanguage Model
providerName = www.example.org