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

about summary refs log tree commit diff stats

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

blob: 14541a0af704b9fff9452db4047f6a8e271f04d6 (plain) (blame)

#

pluginName = AlloyLanguage Model
providerName = www.example.org