OKlibrary  0.2.1.6
OKlib::Satisfiability::Reductions::FailedLiteralReduction Namespace Reference

Components around the r_2-reduction. More...


Detailed Description

Components around the r_2-reduction.

Alias "Flr".