A digital logic circuit solver