6 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	4a6083836a	call it data instead of c_ptr for approaching C++11 std::vector convention.	2021-04-13 18:17:35 -07:00
Nikolaj Bjorner	0a9ee6c640	build break	2021-02-04 16:58:32 -08:00
Nikolaj Bjorner	0ec567fe15	integrate v2 of lns	2021-02-04 15:47:40 -08:00
Nikolaj Bjorner	489df0760f	experiments with LNS	2021-02-02 13:03:54 -08:00
Nikolaj Bjorner	937b61fc88	fix build, refactor	2021-02-02 05:26:57 -08:00
Nikolaj Bjorner	4455f6caf8	move to get_sort as method, add opt_lns pass, disable xor simplification unless configured, fix perf bug in model converter update trail	2021-02-02 03:58:19 -08:00