The rewrite to remove the Symbolics dependency came at the cost of quantifier logic being supported. The code to make quantifiers work with symbolics was hacky at best, meaning this rework may also require some new custom abstraction to better support predicate or other higher levels of logic.
The rewrite to remove the Symbolics dependency came at the cost of quantifier logic being supported. The code to make quantifiers work with symbolics was hacky at best, meaning this rework may also require some new custom abstraction to better support predicate or other higher levels of logic.