Modify API to work for partial order as well + adding order test case
authorHamed <hamed.gorjiara@gmail.com>
Tue, 18 Jul 2017 01:07:24 +0000 (18:07 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Tue, 18 Jul 2017 01:07:24 +0000 (18:07 -0700)
commit7013b7621b5e9efc22d99d066d52bd2fb40d688a
tree3f1546bf2dd49ee50d9e0ca8212cd29b9db77542
parent91a62e5792d982b143ff83203b97edda95ef08b8
Modify API to work for partial order as well + adding order test case
src/AST/ops.h
src/Backend/satorderencoder.c
src/Backend/sattranslator.c
src/Backend/sattranslator.h
src/Test/testorder.c [new file with mode: 0644]
src/csolver.c
src/csolver.h