SimpleSolver is a free Windows tool to design and minimization of Boolean equations and digital logic circuits.
Main features:
Boolean minimization
Logic schematic drawing
Automatic logic design
Logic circuit simulation
Permutation & Random number generation
Download SimpleSolver
