Factor out tempfile creation and use TMPDIR
Factor out constant creation for Polynomial SMT strings
Merge pull request #37 from jeroenk/tmpdir

Factor out tempfile creation and use TMPDIR
Merge pull request #38 from jeroenk/const-smt

Factor out constant creation for Polynomial SMT strings
Include what you use.
Be C++98-compatible.
Merge branch 'master' into gpu