Using native ezSAT shift ops in satgen, fixed $shift and $shiftx SAT models
authorClifford Wolf <clifford@clifford.at>
Wed, 30 Jul 2014 15:18:31 +0000 (17:18 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 30 Jul 2014 16:37:17 +0000 (18:37 +0200)
commit3f0a5746ef0940accb5fd14d97804c75c0531c0b
tree74d0943bf4af8e1ead23991f7c5d8149c42b60f2
parent9b566a7efa9813b0dd343bc96fe145f9e3e68d4f
Using native ezSAT shift ops in satgen, fixed $shift and $shiftx SAT models
kernel/satgen.h