A solver that solves any set of product and sum equations in which variables are discrete sets of rational numbers or number ranges. - View it on GitHub