12 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	246df792df	sign of life for CSQ using pogo ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2018-07-03 15:51:50 -07:00
Nikolaj Bjorner	20fc573d5b	add laxer check for oeq_quant_intro ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2018-06-27 11:24:56 -07:00
Nikolaj Bjorner	49279d7047	debugging mbi ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2018-06-14 16:08:52 -07:00
Arie Gurfinkel	a56c9faedb	A sketch of vurtego	2018-06-14 16:08:52 -07:00
Nikolaj Bjorner	9ba76a1332	fixing eufi ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2018-06-14 16:08:52 -07:00
Nikolaj Bjorner	b62d73f209	first round for combined mbi ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2018-06-14 16:08:52 -07:00
Arie Gurfinkel	5566b5689c	Silence clang warning	2018-06-14 16:08:52 -07:00
Nikolaj Bjorner	f963fc06f4	sketch out euf-solver based on complete projection ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2018-06-14 16:08:52 -07:00
Nikolaj Bjorner	44a32bc076	updates ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2018-06-14 16:08:52 -07:00
Nikolaj Bjorner	d26609ebdd	prepare term-graph for cc ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2018-06-14 16:08:51 -07:00
Nikolaj Bjorner	688cf79619	working on mbi ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2018-06-14 16:08:51 -07:00
Nikolaj Bjorner	5fc0f56281	sketch mbi ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2018-06-14 16:08:51 -07:00