OKlibrary  0.2.1.6
Sudoku.hpp File Reference

Components for solving Sudoku problems. More...

#include <utility>
#include <stack>
#include <tr1/array>
#include <boost/logic/tribool.hpp>
#include <OKlib/Satisfiability/Assignments/PartialAssignments/MultivaluedPartialAssignments.hpp>
#include <OKlib/Satisfiability/ProblemInstances/Variables/TrivialVariables.hpp>

Go to the source code of this file.

Classes

class  OKlib::LatinSquares::SudokuProblem< Box_size, BijectivityConstraint >
 First prototype for an alliance of active clause-sets for Sudoku. More...
class  OKlib::LatinSquares::Trivial_reduction_Sudoku< SudokuP >
 Trivial reduction for a Sudoku problem. More...

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::LatinSquares
 

Tools for latin squares and generalisations and refinements.



Detailed Description

Components for solving Sudoku problems.

Definition in file Sudoku.hpp.