Design and analysis of Boolean equations and state machines is often an extremely complex and time consuming task. Even when a solution is found it can .. Simple Solver 2.3 details