OKlib::Satisfiability::Assignments Namespace Reference

The part of the OKlibrary concerned with assignments (partial and total) More...

Namespaces
namespace	PartialAssignments
	Components regarding partial assignments.
namespace	TotalAssignments
	Components regarding total assignments.

---

Detailed Description

The part of the OKlibrary concerned with assignments (partial and total)

Alias "Asg".