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