Module ProblemMetadata

module ProblemMetadata: sig .. end

Metadata attached to Problem

type t = private {

	`unsat_means_unknown : bool;`
	`sat_means_unknown : bool;`

}

val default : t

val set_unsat_means_unknown : t -> t

val add_unsat_means_unknown : bool -> t -> t

val set_sat_means_unknown : t -> t

val add_sat_means_unknown : bool -> t -> t