5 commits

Author	SHA1	Message	Date
Bruce Mitchener	5014b1a34d	Use = default for virtual constructors.	2022-08-05 18:11:46 +03: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