OKlib::Satisfiability::Interfaces::InputOutput Namespace Reference

Components for SAT-related input/output. More...

Classes
class	HypergraphTwoColouring
	Translating two hypergraphs into a boolean clause-set (as a 2-colouring problem). More...
class	GeneralisedHypergraphColouring
	Transforming generalised hypergraph colouring to (boolean) CNF. More...
struct	Error_readpass_missing_v
struct	Error_readpass_stream
struct	Error_readpass_nonint
struct	Error_readpass_contradiction
class	ReadPass
	Reading a partial assignment from an input stream. More...

---

Detailed Description

Components for SAT-related input/output.

Alias "InO".