Updating: tidying up some code.
Updating: tidying up some code.
Updating: adding contrib/SML/Z3