Manifest.txt « src - hastabel2idp - Use IDP as a model checker for HaStABeL.

summary refs log tree commit diff

path: root/src/Manifest.txt

blob: ebf0683d683ef39afd784b32154dbd9a5e785a69 (plain)

1 2	`Main-Class: hastabel2idp.Main`