¿Hay algún software además de Simple Solver que resuelva los circuitos digitales dadas las entradas / salidas?

Todos -

He encontrado algo llamado "Simple Solver" ubicado aquí:

http://home.roadrunner.com/~ssolver/syn.html

y puedes descargarlo aquí

http://www.softpedia.com/progDownload/Simple-Solver-Download-103308.html

Mi pregunta es: ¿Simple Solver es el único que resuelve circuitos digitales para las entradas / salidas que desea? ¿Hay otro software además de Simple Solver que solucione los circuitos digitales?

Apreciaría todos / cualquier consejo.

Respuestas a la pregunta(1)

Su respuesta a la pregunta