src/policy.h

   1 /*
   2  * Generic policy interface for SAT solver
   3  *
   4  */
   5
   6 #include "solver.h"
   7
   8 int policy_printrules( void );
   9
  10 int policy_init( const Pool *pool );
  11 int policy_exit( void );