Left only the constructors that are actually required, and marked the move constructors as deleted. They are not used anymore and we were never sure they've actually worked correctly.
I'm OK with the change; not sure why you've decided to remove a creator for a model (it should probably have a different name though)
TBH I have no idea what calling SMTSort with no argument does.
Should this be removed?
If there is no call to the base class constructor, the compiler will insert a call to the base class with no argument.
But yeah, the SMTSort constructor doesn't initialize anything.
Yep, the getModel method is not part of the API, it's Z3 specific. No point in keeping it around.