OKlib::Satisfiability::ProblemInstances Namespace Reference

The supermodule with components for problem instances. More...

Namespaces
namespace	ActiveClauses
	The supermodule with components for problem instances.
namespace	Clauses
	General plans on clauses.
namespace	ClauseSets
	Components for clause-sets.
namespace	Conditions
	Components for conditions.
namespace	Literals
	Module with components for (generalised) literals.
namespace	Variables
	Components for variables.

---

Detailed Description

The supermodule with components for problem instances.

Alias "PrI".