Removing extra constraints for the unary encoding
[satune.git] / src / Backend / satelemencoder.cc
2018-05-09 Hamed GorjiaraRemoving extra constraints for the unary encoding
2018-05-08 Hamed GorjiaraAdding a new abstraction for elements: must have value
2018-01-23 Hamed GorjiaraResolving conflicts after merging with altgen
2018-01-14 bdemskyEdits
2017-09-20 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2017-09-19 Hamedmerge to branch master
2017-09-19 HamedFixing header bugs
2017-09-11 bdemskyMerge branch 'encoding'
2017-09-11 bdemskyMerge
2017-09-11 bdemskyRemove unimplemented enum
2017-08-29 HamedMerging with branch master and fixing bugs
2017-08-29 bdemskyGet rid of silly macros
2017-08-28 bdemskyMore OO conversion
2017-08-28 bdemskyedits
2017-08-25 bdemskyedits
2017-08-25 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
2017-08-25 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-08-24 bdemskyRename everything