Fixing more bugs regarding generating constraint variables ...
authorHamed <hamed.gorjiara@gmail.com>
Fri, 7 Jul 2017 17:43:32 +0000 (10:43 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Fri, 7 Jul 2017 17:43:32 +0000 (10:43 -0700)
commit819528702f5a91b111a8e03a11f45458d3ed5a77
treee4b2d143bb83b1e8c79efafd148b8483eb20d97b
parent2e00fbc0a4da4ac666441f38441c2285eba94fd0
Fixing more bugs regarding generating constraint variables ...
src/Backend/satencoder.c
src/Backend/satencoder.h
src/Encoders/elementencoding.c