fixed freduce for Minisat::SimpSolver: use frozen_literal()
authorClifford Wolf <clifford@clifford.at>
Mon, 3 Mar 2014 01:14:27 +0000 (02:14 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 3 Mar 2014 01:14:27 +0000 (02:14 +0100)
commit96e753041dbd0abc86ff0a6404f13d29edcb985d
treeb66c59c5a08f89163accd92324c0c0b86ec787b0
parentd5bd93997c9ce7c31ef430684700a2096618672e
fixed freduce for Minisat::SimpSolver: use frozen_literal()
passes/sat/freduce.cc