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