19 Commits

Author	SHA1	Message	Date
Anton Popov	923159d408	fix typos	2021-11-26 17:47:40 +03:00
Anton Popov	69559a4fd9	fix convertion to CNF	2021-11-18 17:54:07 +03:00
Anton Popov	dfb9bc2a01	minor fixes in constraints	2021-11-17 18:43:02 +03:00
Nikita Vasilev	90144f40c5	style	2021-05-19 22:43:02 +03:00
Nikita Vasilev	44b996df49	fix	2021-05-19 22:40:38 +03:00
Nikita Vasilev	af55e75e8d	fix CNF	2021-05-19 22:07:27 +03:00
Nikita Vasilev	24499fc31a	fix	2021-05-10 13:27:47 +03:00
Nikita Vasilev	8e4dc3aa25	fix	2021-05-08 12:19:18 +03:00
Nikita Vasilev	cdf78828da	fix	2021-05-07 13:49:05 +03:00
Nikita Vasilev	4bf5547350	fix	2021-05-06 11:29:24 +03:00
Nikita Vasilev	37800a1057	fix	2021-05-05 16:29:28 +03:00
Nikita Vasilev	8f0e4f43bd	remove subsets	2021-05-05 14:28:02 +03:00
Nikita Vasilev	1d26957029	a AND not a	2021-05-05 11:51:25 +03:00
Nikita Vasilev	d274d4a579	fix	2021-05-05 00:36:30 +03:00
Nikita Vasilev	496d8ff46c	improvements	2021-05-04 21:43:58 +03:00
Nikita Vasilev	1fb947b70b	impr	2021-03-04 15:11:43 +03:00
Nikita Vasilev	7b2d8e1094	more clones	2021-02-14 17:47:15 +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