adding print for CS512 project
merge
Updating: very minor.
Updating: minorly improving INT2PROGINATS.
Updating: minor addition.
Updating: merging.
Updating: minorly improving error-reporting.
Updating: improving compiling function closures.
Updating: tidying up some code.
Updating: very minorly improving INT2PROGINATS.
merge
merge
Added an extra cast function to SATS/integer.sats and completely automated choosing the SMT solver as a constraint solver with cmake