claferSMT now uses `python` or `python3` depending on the OS
Merge branch 'master' of https://github.com/gsdlab/ClaferSMT
fixed copying from Z3 and install
fixed make init and made script executable on linux
use python3 in make on Mac and Linux
fixed Make init and egg for Linux. Works both from src and egg.
fixed installation and running instructions. Added claferSMT.sh to make install.
Pre-join refactor
Mid-changes to ExprArg, TODO: change getInstanceRanges
knownPolarities appear correct
joinWithClafer initially implemented
Finished basic joins and some set ops. Zoo model working much faster.
Added small profiling statements.
Set constraints of clafers first implemented, need to do ints. Need to optimize instance constraints.
First full implementation of joins
EnforcingInverseRefs is taking too long.
Need to figure out performance issue with enforcingInverseRefs
Fixed really bad recursion bug in mOr and mAnd. Performance fixed.
Implemented Z3 component caching, need to check
Small fixes