Renaming
authorbdemsky <bdemsky@uci.edu>
Tue, 11 Jul 2017 20:06:06 +0000 (13:06 -0700)
committerbdemsky <bdemsky@uci.edu>
Tue, 11 Jul 2017 20:06:06 +0000 (13:06 -0700)
commit0ce0953a85b3abf68656b0c8fd10d32f6936e6bd
tree06f0590cb99ad5103fc4ccc23d9befcdb2d22e0b
parenta24001dc0a2c54ad270f9a8b6731fc2b50b260e7
Renaming
src/AST/order.c
src/AST/order.h
src/Backend/inc_solver.c
src/Backend/satencoder.c
src/Backend/satencoder.h
src/Collections/structs.c
src/Collections/structs.h
src/Test/testcnf.c