Simple Solver 3.1.3

Minimize, simplify and reduce Boolean equations and digital logic circuits.