@hackage RSolve0.1.0.0

A general solver for equations

A general solver for type checkers of programming languages and real world puzzles with complex constraints.