Initial commit of Z3 model integration.
Merge remote-tracking branch 'origin/nightly'