25 Commits

Author	SHA1	Message	Date
Antonio Andelic	0fb9f9ffe6	Add support for substitute column	2023-03-17 13:38:01 +00:00
Antonio Andelic	0f6e4d3934	Start implementing constraint optimizer	2023-03-16 09:30:55 +00:00
Luck-Chang	1ac8e739c9	fix some typos and clang-tidy warnings	2022-09-05 09:50:24 +08:00
Anton Popov	dfb9bc2a01	minor fixes in constraints	2021-11-17 18:43:02 +03:00
Nikita Vasilev	44b996df49	fix	2021-05-19 22:40:38 +03:00
Nikita Vasilev	8e4dc3aa25	fix	2021-05-08 12:19:18 +03:00
Nikita Vasilev	cfdd84b3fc	improve matching	2021-05-05 14:17:49 +03:00
Nikita Vasilev	1d26957029	a AND not a	2021-05-05 11:51:25 +03:00
Nikita Vasilev	449e11f1ea	settings	2021-05-04 22:18:37 +03:00
Nikita Vasilev	496d8ff46c	improvements	2021-05-04 21:43:58 +03:00
Nikita Vasilev	06cc361075	rm unused	2021-05-04 14:07:43 +03:00
Nikita Vasilev	62d33f93c0	!= support	2021-05-04 13:47:23 +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	08206ab20b	fix	2021-04-03 15:12:45 +03:00
Nikita Vasilev	728c9ccb6d	Merge remote-tracking branch 'upstream/master' into nikvas0/simple_optimizations	2021-03-05 19:17:01 +03:00
Nikita Vasilev	7247490124	const replace	2021-03-05 15:46:42 +03:00
Nikita Vasilev	06454bd912	fix	2021-03-05 15:13:00 +03:00
Nikita Vasilev	5a2fa1aba7	fix	2021-03-05 13:33:06 +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	7e23baa1e3	fix nullptr	2021-01-06 23:04:49 +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