Is there any software besides Simple Solver that will solve digital circuits given inputs/outputs?

Question

All -

I have found something called "Simple Solver" located here:

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

and you can download it here

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

My question is: Is Simple Solver the only one out there that solves digital circuits for you given inputs / outputs you want? Is there other software besides Simple Solver that will solve digital circuits?

Would appreciate all / any advise.

Answer 1

Look at Logic Friday 1. This is an interactive tool so handle / solve boolean expressions defined as function table, expression or network of gates. Another cool tool is BC2CNF. Combined with a SAT Solver like CryptoMinisat, BC2CNF can be used to solve a boolean expression and find, which variable values actually fulfil the expression.