Display variables in the order they were encountered.
Merge branch 'master' of https://github.com/thasenpusch/logic-solver