Removing extra constraints for the unary encoding
authorHamed Gorjiara <hgorjiar@uci.edu>
Wed, 9 May 2018 19:18:55 +0000 (12:18 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Wed, 9 May 2018 19:18:55 +0000 (12:18 -0700)
commitf9f7d7f9830b7ca2b85c56bdeaff4ceae29f2128
treeadda1178187f20396d59ea648c58dbd457d6cd5f
parent238830745ba3939323c285b722c9ae512b7baa9b
Removing extra constraints for the unary encoding
src/Backend/satelemencoder.cc
src/Backend/satencoder.h