sat_cnf_reader.h File Reference

Go to the source code of this file.

Classes
struct	LinearBooleanProblemWrapper
struct	CpModelProtoWrapper
class	SatCnfReader

Namespaces
	operations_research
	Collection of objects used to extend the Constraint Solver library.
	operations_research::sat

Functions
	ABSL_FLAG (bool, wcnf_use_strong_slack, true, "If true, when we add a slack variable to reify a soft clause, we " "enforce the fact that when it is true, the clause must be false.")

Function Documentation

ABSL_FLAG()

ABSL_FLAG	(	bool	,
		wcnf_use_strong_slack	,
		true	,
		"If	true,
		when we add a slack variable to reify a soft	clause,
		we " "enforce the fact that when it is	true,
		the clause must be false."
	)