9 Commits

Author	SHA1	Message	Date
Anton Popov	dfb9bc2a01	minor fixes in constraints	2021-11-17 18:43:02 +03:00
Nikita Vasilev	1d26957029	a AND not a	2021-05-05 11:51:25 +03:00
Nikita Vasilev	564a484642	fix	2021-05-02 22:16:40 +03:00
Nikita Vasilev	ad0d0ad1db	map to index	2021-04-28 20:35:51 +03:00
Nikita Vasilev	31caff2113	graph	2021-03-05 12:54:13 +03:00
Nikita Vasilev	1fb947b70b	impr	2021-03-04 15:11:43 +03:00
Nikita Vasilev	106c00d19d	improvements	2021-01-06 13:41:06 +03:00
Nikita Vasilev	10fecb9183	more optimization	2021-01-05 23:51:19 +03:00
Nikita Vasilev	92e4f1370e	CNF	2021-01-04 23:55:32 +03:00