backends/precosat/detect-leaks.c

   1 #include "precosat_wrap.h"
   2
   3 #define ABS(x)  ((x)<0 ? -(x) : (x))
   4 #define SIGN(x) ((x)<0 ? 1 : 0)
   5 #define var2lit(v) ((2 * ABS(v)) + SIGN(v))
   6
   7 int
   8 main()
   9 {
  10
  11         struct  precosat_solver *s = alloc_precosat_solver(10);
  12
  13         precosat_add_var_to_clause(s,var2lit(1));
  14         precosat_add_var_to_clause(s,var2lit(-3));
  15         precosat_add_var_to_clause(s,var2lit(0));
  16
  17         precosat_add_var_to_clause(s,var2lit(2));
  18         precosat_add_var_to_clause(s,var2lit(3));
  19         precosat_add_var_to_clause(s,var2lit(-1));
  20         precosat_add_var_to_clause(s,var2lit(0));
  21
  22         precosat_solve(s);
  23
  24         precosat_sol_val(s,var2lit(1));
  25         precosat_sol_val(s,var2lit(2));
  26         precosat_sol_val(s,var2lit(3));
  27
  28         free_precosat_solver(s);
  29         return 0;
  30 }