14 Commits

Author	SHA1	Message	Date
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	8e4dc3aa25	fix	2021-05-08 12:19:18 +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	62d33f93c0	!= support	2021-05-04 13:47:23 +03:00
Nikita Vasilev	d8b34f3c61	fix	2021-04-10 23:47:28 +03:00
Nikita Vasilev	541f801593	fix	2021-04-10 18:48:53 +03:00
Nikita Vasilev	d97e1a54f3	test const replace	2021-03-05 15:46:27 +03:00
Nikita Vasilev	add3004d69	fix	2021-03-05 15:13:25 +03:00
Nikita Vasilev	06a774e179	test for graph	2021-03-05 12:53:03 +03:00
Nikita Vasilev	dc1996239b	test	2021-03-04 15:16:39 +03:00
Nikita Vasilev	10fecb9183	more optimization	2021-01-05 23:51:19 +03:00
Nikita Vasilev	4c3e83ac57	fix	2021-01-03 18:02:00 +03:00