Method Sat

examples/sat.cpp:117–121

The actual problem

public:
  /// The actual problem
  Sat(const SatOptions& opt)
    : Script(opt) {
    parseDIMACS(opt.filename.c_str());
    branch(*this, x, BOOL_VAR_AFC_MAX(), BOOL_VAL_MIN());
  }

  /// Constructor for cloning
  Sat(Sat& s) : Script(s) {