Fixed sat handling of $eqx and $nex cells
authorClifford Wolf <clifford@clifford.at>
Fri, 27 Dec 2013 13:32:42 +0000 (14:32 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 27 Dec 2013 13:32:42 +0000 (14:32 +0100)
commitebf9abfeb6c65821ee4f1ef0f4ab16660348c45f
treedd45bd340b25775211794916b2b5a0ce6cf8c74c
parent7b02a44efbb81ce2c97dcb87f1d8ca016c14ba76
Fixed sat handling of $eqx and $nex cells
kernel/satgen.h