1 #include "../../src/ccadical.h"
2
3 #ifdef NDEBUG
4 #undef NDEBUG
5 #endif
6
7 #include <assert.h>
8
main()9 int main () {
10 CCaDiCaL * solver = ccadical_init ();
11 int res = ccadical_solve (solver);
12 assert (res == 10);
13 ccadical_add (solver, -1);
14 ccadical_add (solver, 2);
15 ccadical_add (solver, 0);
16 ccadical_add (solver, 1);
17 ccadical_add (solver, 2);
18 ccadical_add (solver, 0);
19 ccadical_add (solver, -1);
20 ccadical_add (solver, -2);
21 ccadical_add (solver, 0);
22 res = ccadical_solve (solver);
23 assert (res == 10);
24 res = ccadical_val (solver, 1);
25 assert (res == -1);
26 res = ccadical_val (solver, 2);
27 assert (res == 2);
28 ccadical_release (solver);
29 return 0;
30 }
31