OKlibrary  0.2.1.6
Scoring_Tests.hpp File Reference

Tests for scoring tools. More...

Go to the source code of this file.

Classes

class  OKlib::SATCompetition::Test_PurseScoring< PurseScoring >

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)



Detailed Description

Tests for scoring tools.

Todo:
Write basic tests.

Definition in file Scoring_Tests.hpp.