Add support for parsing negative solution values#46

fitzgen merged 5 commits intoelliottt:mainelliottt/easy-smt:mainfrom

pleich:mainpleich/easy-smt:mainCopy head branch name to clipboard