OKlibrary  0.2.1.6
OKlib::OKsolver_2_0 Namespace Reference

Applications implementing the new OKsolver (for SAT 2009) More...


Detailed Description

Applications implementing the new OKsolver (for SAT 2009)