OKlibrary  0.2.1.6
general.hpp File Reference

Plans for the module on evaluations of SAT competitions (in general, including "competitions" in articles) More...

Go to the source code of this file.

Namespaces

namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)


namespace  OKlib
 

All components of the OKlibrary.



Detailed Description

Plans for the module on evaluations of SAT competitions (in general, including "competitions" in articles)

Especially we have code to evaluate according to the SAT-2005 rules.

Todo:
Update namespaces
  • Introduce new namespaces and namespace-aliases according to the new standard.
  • Update all files.
Todo:
Update
  • doxygen documentation for all files
  • new plans files, transferring todos
  • Use anonymous namespaces in implementation files.
  • General updates of code according to our coding standard.
Todo:
Concepts
  • Move the three files Concepts/ResultElement* to subdirectory Competition/concepts, once the build system can compile and run the tests.
Todo:
SET ("SAT Evaluation Toolkit")
  • Implement at R level the SAT-2005 competition as specified in this module.
  • Implement at R level the methods for evaluating R competitions from [Pulina, Empirical Evaluation of Scoring Methods, 2006].
  • DONE (moved to Experimentation/Competition/TwoSolverComparison) Implement at R level the methods from Mladen Nikolic 2010; see Competition/TwoSolverComparison/plans/TwoSolverComparison.hpp.
Todo:
New tests Transfer to the new test system
Todo:
Messages Use Messages.

Definition in file general.hpp.