20 Commits

Author	SHA1	Message	Date
chriseth	e7c68cd0d0	Print reasons.	2022-02-17 14:47:22 +01:00
chriseth	8a76a61e55	Merge leftover.	2022-02-17 12:00:07 +01:00
chriseth	597007e3b4	Add reasons.	2022-02-17 11:55:51 +01:00
chriseth	677a7951dd	Extract problem splitter.	2022-02-17 11:55:51 +01:00
chriseth	56546a1b57	Apply suggestions from code review ... Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>	2022-02-17 11:55:51 +01:00
chriseth	1d37398f04	Fix fuzzer bug.	2022-02-17 11:55:51 +01:00
chriseth	641c76a678	Cache solution for the case where we are not interested in models.	2022-02-17 11:55:51 +01:00
chriseth	9cdc2ed3f2	comment	2022-02-17 11:55:51 +01:00
chriseth	e1df82ac19	Extract problem splitter.	2022-02-17 11:55:51 +01:00
chriseth	944937604a	small optimization.	2022-02-17 11:55:51 +01:00
chriseth	1af1df6908	Extract simplification class.	2022-02-17 11:55:51 +01:00
chriseth	7b08e57a2c	Refactor.	2022-02-17 11:55:51 +01:00
chriseth	6e9ffa1f16	cleanup	2022-02-17 11:55:51 +01:00
chriseth	8a1ad0e1d4	cleanup	2022-02-17 11:55:51 +01:00
chriseth	7d203ac1fb	Cleanup	2022-02-17 11:55:51 +01:00
chriseth	d50a7d9b3d	Cleanup	2022-02-17 11:55:51 +01:00
chriseth	03e1a2e074	Simplifications on LinearExpression.	2022-02-17 11:55:51 +01:00
chriseth	34d3b802ad	Fix compiler warning.	2022-02-17 11:55:51 +01:00
chriseth	76485dff82	Use names for the bounds.	2022-02-17 11:55:51 +01:00
chriseth	7c7132bff8	LP Solver.	2022-02-17 11:55:51 +01:00