OKlibrary  0.2.1.6
milestones.hpp File Reference

Go to the source code of this file.


Detailed Description

Module Versions:
Experimentation/Competition 0.5.0.3 (7.6.2010)
Version 0.5.1 :
Competition/TwoSolverComparison version 0.0.8 : DONE
(see Experimentation/Competition/TwoSolverComparison/plans/milestones.hpp)
In Experimentation/Competition/plans/general.hpp the following topics are handled:
  • Update namespaces
Version 0.5.2 :
Competition/TwoSolverComparison version 0.0.9
(see Experimentation/Competition/TwoSolverComparison/plans/milestones.hpp)
In Experimentation/Competition/plans/general.hpp the following topics are handled:
  • Update
Version 0.5.3 :
Competition/TwoSolverComparison version 0.1
(see Experimentation/Competition/TwoSolverComparison/plans/milestones.hpp)
In Experimentation/Competition/plans/general.hpp the following topics are handled:
  • Concepts
Create new milestones.
Version 0.6 :
In Experimentation/Competition/plans/general.hpp the following topics are handled:
  • New tests
  • Messsages
Overall the module is fully documented.
Version 0.7 :
The module is fully synchronised with the OKlibrary (using ProgramOptions etc.).
Version 0.8 :
In Experimentation/Competition/plans/general.hpp the following topics are handled:
  • SET ("SAT Evaluation Toolkit")
Version 1.0 :
A flexible and powerfull toolset is provided for evaluating various forms of competitions, fully integrated with the OKlibrary.

-------------------------------------------------------------------------------------------------------------------------------------

Version history
  • 0.5 : 18.11.2006; initial version number (working system, but in an unclean state).

Definition in file milestones.hpp.