projects / satune.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8642947) | patch
Adding table-based implementation of predicates and new config for encoding negation...
authorHamed <hamed.gorjiara@gmail.com>
Mon, 3 Jul 2017 19:07:11 +0000 (12:07 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Mon, 3 Jul 2017 19:07:11 +0000 (12:07 -0700)
commit387503a379e7f28963a34da1396c31fdb16f6a3b
tree1ea3a7bdb2836ced31b31b4ab557cf04e04c199ftree | snapshot
parent8642947cea83f16f02d0ff371cec5bb1a0163ed4commit | diff
Adding table-based implementation of predicates and new config for encoding negation of the table
src/Backend/satencoder.c diff | blob | history
src/Encoders/functionencoding.h diff | blob | history
SATune Repository