title: Is there any software besides Simple Solver that will solve digital circuits given inputs/outputs?
body: <p>All - </p>
  
  <p>I have found something called "Simple Solver" located here: </p>
  
  <p><a href="http://home.roadrunner.com/~ssolver/syn.html" rel="nofollow">http://home.roadrunner.com/~ssolver/syn.html</a></p>
  
  <p>and you can download it here </p>
  
  <p><a href="http://www.softpedia.com/progDownload/Simple-Solver-Download-103308.html" rel="nofollow">http://www.softpedia.com/progDownload/Simple-Solver-Download-103308.html</a></p>
  
  <p>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?</p>
  
  <p>Would appreciate all / any advise.</p>