fixed mean bug in an optimization of addrule:
authorStephan Kulow <coolo@suse.de>
Sun, 21 Oct 2007 07:35:23 +0000 (07:35 +0000)
committerStephan Kulow <coolo@suse.de>
Sun, 21 Oct 2007 07:35:23 +0000 (07:35 +0000)
commit3367dd203fa6ed5bcd4f6bba93116a7a8f7988f1
treedfb0d81d56e7ad14881a75f5bef54b31fca8266f
parent1ebc7373b5f629267d9f90ac558ef448d45a9ba9
fixed mean bug in an optimization of addrule:

Differ between binary rules and non-binary rules
with one literal (e.g. two kernels)
(fixed 5 test cases)
src/solver.c