hastabel2idp - Use IDP as a model checker for HaStABeL.

summary refs log tree commit diff

path: root/Makefile

Age	Commit message (Expand)	Author
2018-05-24	Starting an IDP model checker for HaStABel...	Nathanael Sensfelder