Enable sort cons#98

Draft

makaimann wants to merge 7 commits intomainfrom

enable-sort-cons

Commits on Aug 28, 2020

Add get_arity and notion of a sort constructor for uninterpreted sorts with non-zero arity
Makai Mann
committed
WIP: add sort constructor methods for CVC4
Makai Mann
committed
Add stubs for other uninterpred/sort constructor methods to all solvers
Makai Mann
committed
Support uninterpred sorts in term translation and add basic test
Makai Mann
committed
Temporarily disable sort constructor support for CVC4
Makai Mann
committed
Give sort constructor argument for constructing an uninterpreted sort from parameters a better name
Makai Mann
committed
Re-enable sort construction in CVC4 (currently broken in underlying solver)
Makai Mann
committed