Adding sat solution translator for binary value encoding
authorHamed <hamed.gorjiara@gmail.com>
Wed, 12 Jul 2017 20:18:52 +0000 (13:18 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Wed, 12 Jul 2017 20:18:52 +0000 (13:18 -0700)
commit07e565ec8d703fd955dbebe767384ae2dbdfa504
treed8e7569262c13d5810636a41dfc1ad683463278e
parent46fde40340f7bf53c4ebc433c5bd853a2e6c31f5
Adding sat solution translator for binary value encoding
src/Backend/sattranslator.c
src/Backend/sattranslator.h