hastabel2idp - Use IDP as a model checker for HaStABeL.

summary refs log tree commit diff

path: root/src

Age	Commit message (Expand)	Author
2018-05-24	Let's have it just load everything, to start with.	Nathanael Sensfelder