2

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.

user1068636
  • 1,871
  • 7
  • 33
  • 57

1 Answers1

2

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.

Axel Kemper
  • 10,544
  • 2
  • 31
  • 54