Add option to optimize edges in final encoding
authorbdemsky <bdemsky@uci.edu>
Tue, 22 Aug 2017 23:36:07 +0000 (16:36 -0700)
committerbdemsky <bdemsky@uci.edu>
Tue, 22 Aug 2017 23:36:07 +0000 (16:36 -0700)
commitae9f38b4b72822a5a73909a795043bfcbb534e2f
tree2d9d8c30fab35faa21f8809ac80892e794a725bd
parenteec3a6bdc5dcea5d7ffbbabbb38af87e85ea812d
Add option to optimize edges in final encoding
12 files changed:
src/AST/order.c
src/AST/order.h
src/Backend/satencoder.c
src/Backend/satencoder.h
src/Backend/satorderencoder.c
src/Backend/satorderencoder.h
src/Encoders/orderencoder.c
src/Encoders/orderencoder.h
src/Encoders/ordergraph.c
src/Encoders/ordergraph.h
src/Tuner/tunable.h
src/csolver.c