Adding Support for BooleanVar
authorHamed Gorjiara <hgorjiar@uci.edu>
Wed, 23 Jan 2019 21:10:26 +0000 (13:10 -0800)
committerHamed Gorjiara <hgorjiar@uci.edu>
Wed, 23 Jan 2019 21:10:26 +0000 (13:10 -0800)
commit3896ad686a910868d7bf2988cd83a4fe3da700b2
tree96f0acb3ae7a09e7803877bffc72f67a19acd4f7
parentc8012458e3e2777c72ed1d9b217dfa3d69422a4d
Adding Support for BooleanVar
13 files changed:
src/AlloyEnc/alloyenc.cc
src/AlloyEnc/alloyenc.h
src/AlloyEnc/signature.cc
src/AlloyEnc/signature.h
src/AlloyEnc/signatureenc.cc
src/AlloyEnc/signatureenc.h
src/Test/deserializealloytest.cc
src/ccsolver.cc
src/ccsolver.h
src/classlist.h
src/csolver.cc
src/csolver.h
src/pycsolver.py