OKlibrary  0.2.1.6
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".