diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-03-03 02:14:27 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-03-03 02:14:27 +0100 |
| commit | 96e753041dbd0abc86ff0a6404f13d29edcb985d (patch) | |
| tree | b66c59c5a08f89163accd92324c0c0b86ec787b0 /kernel | |
| parent | d5bd93997c9ce7c31ef430684700a2096618672e (diff) | |
fixed freduce for Minisat::SimpSolver: use frozen_literal()
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions