OKlib::Satisfiability::Reductions::FailedLiteralReduction Namespace Reference

Components around the r_2-reduction. More...

---

Detailed Description

Components around the r_2-reduction.

Alias "Flr".