5 Commits

Author	SHA1	Message	Date
Michael M	ad7993d7d5	idea for sum of votes	2021-11-08 15:57:53 +02:00
Aleksander Kryukov	f08ee568b9	checkingInvariantsWithoutGhosts	2021-11-04 17:54:26 +02:00
Michael M	69f87ad916	slight script changes and ghost fix	2021-11-04 11:27:44 +02:00
Shelly Grossman	22030f2fd3	rule drafts	2021-10-07 11:58:47 +03:00
Shelly Grossman	2c08f85744	start work on governor	2021-09-26 00:21:08 +03:00