5 Commits

Author	SHA1	Message	Date
Daniel Tsvetkov	6ae883d818	normalize state	2020-03-29 18:15:40 +02:00
Daniel Tsvetkov	67cd000f5a	few grover's hints	2020-03-29 12:53:34 +02:00
Daniel Tsvetkov	4e69938d7b	3sat and grover fixes	2020-03-09 09:42:55 +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