OKlibrary  0.2.1.6
OKlib::Satisfiability::SpecialStructures Namespace Reference

Super-module on special structures (relevant for SAT-solving) More...


Detailed Description

Super-module on special structures (relevant for SAT-solving)

Alias "Var".