3 Commits (4c0ca1719fbfcff643b7e0592928dbd721a3ec56)

Author	SHA1	Message	Date
Tonis Tiigi	8cfe2de889	solver: evaluate solve results lazily ... Signed-off-by: Tonis Tiigi <tonistiigi@gmail.com>	2020-02-05 15:29:43 -08:00
Edgar Lee	2edb431a0f	Allow previous solve results to be used in new solves ... Signed-off-by: Edgar Lee <edgarl@netflix.com>	2020-01-23 11:02:40 -08:00
Tonis Tiigi	303b5da713	llbsolver: use result type with multi ref support ... Signed-off-by: Tonis Tiigi <tonistiigi@gmail.com>	2018-07-12 17:52:23 -07:00