text: /*
   * The Yices SMT Solver. Copyright 2015 SRI International.
   *
   * This program may only be used subject to the noncommercial end user
   * license agreement which is downloadable along with this program.
   */
   
  #ifndef BOOL_PLUGIN_TYPES_H_
  #define BOOL_PLUGIN_TYPES_H_
  
  /** Literal is just a variable that might be negated */
  typedef int32_t mcsat_literal_t;
  
  /** Type of clause references */
  typedef int32_t clause_ref_t;
  
  #endif /* BOOL_PLUGIN_TYPES_H_ */
  