Open jurajsic opened 1 day ago
Trying to reuse already generated axioms for conversions. It might fix #175, but possibly not. It does not work currently, there is probably some problem with expressions not kept as expr_ref.
expr_ref
Trying to reuse already generated axioms for conversions. It might fix #175, but possibly not. It does not work currently, there is probably some problem with expressions not kept as
expr_ref
.