OKlibrary  0.2.1.6
OKlib::Satisfiability::Interfaces Namespace Reference

The supermodule with components for satisfiability interfaces. More...

Namespaces

namespace  InputOutput
 

Components for SAT-related input/output.



Detailed Description

The supermodule with components for satisfiability interfaces.

Alias "Ifs".