sig
  type t = private { unsat_means_unknown : bool; sat_means_unknown : bool; }
  val default : ProblemMetadata.t
  val set_unsat_means_unknown : ProblemMetadata.t -> ProblemMetadata.t
  val add_unsat_means_unknown :
    bool -> ProblemMetadata.t -> ProblemMetadata.t
  val set_sat_means_unknown : ProblemMetadata.t -> ProblemMetadata.t
  val add_sat_means_unknown : bool -> ProblemMetadata.t -> ProblemMetadata.t
end