Extend test case to call solver
authorbdemsky <bdemsky@uci.edu>
Mon, 10 Jul 2017 02:26:37 +0000 (19:26 -0700)
committerbdemsky <bdemsky@uci.edu>
Mon, 10 Jul 2017 02:26:37 +0000 (19:26 -0700)
commit93ce78ab3fd349ab5207c482f11685e2101d3736
tree261665c5bcd5a79425912afee849273d2b92aa1e
parent9c99d9f2fa508e3122c9cf8d68109bd1d03f348c
Extend test case to call solver
src/Backend/nodeedge.c
src/Backend/nodeedge.h
src/Test/testcnf.c