src/policy.c

   1 /*
   2  * Generic policy interface for SAT solver
   3  *
   4  */
   5
   6 #include "solver.h"
   7
   8 #include <stdio.h>
   9 #include "policy.h"
  10
  11 int
  12 policy_init( const Pool *p )
  13 {
  14   return 0;
  15 }
  16
  17
  18 int
  19 policy_exit( void )
  20 {
  21   return 0;
  22 }
  23
  24 /*-----------------------------------------------*/
  25 int
  26 policy_printrules( void )
  27 {
  28   /* default: false */
  29   return 0;
  30 }