v0.2.3
Improved extension modularity for custom value-to-term conversions (e.g. in custom theories that introduce new types). Fixed performance regression from constructing dictionary of global functions during formula evaluation.
Improved extension modularity for custom value-to-term conversions (e.g. in custom theories that introduce new types). Fixed performance regression from constructing dictionary of global functions during formula evaluation.