begin 0.3.6.2 development
Merge branch 'master' into develop
Refactored Operations into a package.
Refactored Operations into a package.
Added json scope file support
Pre-optimization attempt for Set constraints.
Added highest supersort fields.
zoo.cfr temporarily broken
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