OKlibrary  0.2.1.6
LexicographicalEvaluation_Testobjects.hpp File Reference

Go to the source code of this file.

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)


Variables

Test_RepresentationSolverSeries
< LexicographicalEvaluation > 
OKlib::SATCompetition::test_representation_solver_series
Test_LexicographicalEvaluation
< LexicographicalEvaluation > 
OKlib::SATCompetition::test_lexicographical_evaluation
Test_LexicographicalEvaluationRandom
< LexicographicalEvaluationRandom > 
OKlib::SATCompetition::test_lexicographical_evaluation_random