4 Commits

Author	SHA1	Message	Date
Aleksander Kryukov	77efd53f0c	checkingInvariantsWithoutGhosts	2021-11-12 16:42:19 +02:00
Michael M	788d4672d7	slight script changes and ghost fix	2021-11-12 16:42:18 +02:00
Shelly Grossman	ea6baf2220	rule drafts	2021-11-12 16:42:17 +02:00
Shelly Grossman	9a194f24b8	start work on governor	2021-11-12 16:42:17 +02:00