13 Commits

Author	SHA1	Message	Date
chriseth	afc56db6d5	Simplify tostring.	2022-03-21 11:23:48 +01:00
chriseth	c34019f136	Fix and and change some conditions.	2022-03-21 10:34:53 +01:00
chriseth	a3f999a13e	temp	2022-03-20 22:34:37 +01:00
chriseth	1efa03201d	Fix ite	2022-03-20 22:34:22 +01:00
chriseth	2108580df6	Add equality constraints.	2022-03-20 22:34:22 +01:00
chriseth	33f0e0d4b2	Remove "only single constraint" restriction.	2022-03-20 22:34:22 +01:00
chriseth	fe15610ba4	some more debugging output	2022-03-20 22:34:22 +01:00
chriseth	c8c9067c9b	more code	2022-03-20 22:34:22 +01:00
chriseth	b4dd0420ca	encoding	2022-03-20 22:34:22 +01:00
chriseth	797651c74b	Typos.	2022-03-20 22:34:22 +01:00
chriseth	6b7c200891	remove couts	2022-03-20 22:34:21 +01:00
chriseth	a3a0f1d95b	fixes	2022-03-20 22:33:47 +01:00
chriseth	3439776209	Combined solver.	2022-03-20 22:33:47 +01:00