OKlibrary  0.2.1.6
OKlib::SATAlgorithms Namespace Reference

Namespaces

namespace  tests

Classes

class  Backtracking
 Generic backtracking solver (first prototype) More...