ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressions
authorClifford Wolf <clifford@clifford.at>
Mon, 3 Mar 2014 01:12:45 +0000 (02:12 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 3 Mar 2014 01:12:45 +0000 (02:12 +0100)
commit895e9fc70cb2d45c606c64a7b12d51dc0564c005
tree0196c15a853c1aff006fbe95a0d61b281a06e977
parentd500bd749f84c0b05a8ec96d2a5fc33ace0c5b58
ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressions
libs/ezsat/ezsat.cc
libs/ezsat/ezsat.h