cadical 0.1.16

Rust bindings for the CaDiCaL SAT solver
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#ifndef _phases_hpp_INCLUDED
#define _phases_hpp_INCLUDED

namespace CaDiCaL {

struct Phases {

  vector<signed char> best;   // The current largest trail phase.
  vector<signed char> forced; // Forced through 'phase'.
  vector<signed char> min;    // The current minimum unsatisfied phase.
  vector<signed char> prev;   // Previous during local search.
  vector<signed char> saved;  // The actual saved phase.
  vector<signed char> target; // The current target phase.
};

} // namespace CaDiCaL

#endif