4 Commits

Author	SHA1	Message	Date
Daniel Tsvetkov	4e69938d7b	3sat and grover fixes	2020-03-09 09:42:55 +01:00
Daniel Tsvetkov	fcca3afacc	generate 100 4-predicate-8and sats	2020-02-21 15:52:34 +01:00
Daniel Tsvetkov	5129fd468a	generate random 3sats	2020-02-21 15:49:03 +01:00
Daniel Tsvetkov	31b9b3640c	attempt to autogen 3sat	2020-02-21 15:35:40 +01:00