Move constraints to set
authorbdemsky <bdemsky@uci.edu>
Thu, 17 Aug 2017 23:09:07 +0000 (16:09 -0700)
committerbdemsky <bdemsky@uci.edu>
Thu, 17 Aug 2017 23:09:07 +0000 (16:09 -0700)
commit5238a70cb4f58d262d768ecdc2d9603cbc3386db
tree2bc9566ec4d873919064b6f162daf1ab106b8b2c
parenta19e8f63c0f85f81be4d5413d03374830a1ee571
Move constraints to set
src/Backend/satencoder.c
src/Collections/hashset.h
src/Collections/structs.c
src/Collections/structs.h
src/Encoders/naiveencoder.c
src/Encoders/polarityassignment.c
src/csolver.c
src/csolver.h