Removed two plus variables, fixed three plus variables to be integer and unbounded above. Should use a little less memory now.
Merge branch 'dev' of github.com:TimeFinders/YAExS into dev