Check satisfiability of expressions on natural numbers - View it on GitHub