3 Commits (be6de5138bf23883f689aa37b57bef76e4b04ad2)

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