OKlibrary  0.2.1.6
milestones.hpp File Reference

Go to the source code of this file.


Detailed Description

Module Versions:
Annotations 0.1 (26.11.2008)
Version 0.1.1
In Annotations/plans/RunningReportMG.hpp the following topics are handled:
  • More precision
  • Update the core plans for the dissertation
  • Declare a target (MG) DONE
  • Create milestones DONE
In Annotations/plans/MGDissertation.hpp the following topics are handled:
  • Create more todos.
  • Explain macros (MG) DONE
In Annotations/plans/RunningReportML.hpp the following topics are handled:
  • Using homomorphisms in resolution proofs
Version 0.1.2
In Annotations/plans/RunningReportMG.hpp the following topics are handled:
  • Literature research
  • Ten challenges
  • Write-up Ramsey's theorem and proofs
In Annotations/plans/MGDissertation.hpp the following topics are handled:
  • Complete "From groupoids to groups" (MG)
  • Section "Actions and operations"
Version 0.1.3
In Annotations/plans/RunningReportMG.hpp the following topics are handled:
  • Update and extend generators for Ramsey problems
  • Symmetries of Ramsey problems
  • Evaluation of measures
  • Various Ramsey type problems to be investigated
Version 0.1.4
In Annotations/plan/RunningReportMG.hpp the following topics are handled:
  • Tuning and understanding of local search
  • Solvers and tools for solving Ramsey problems
Update milestones.
Version 0.2
  • Regarding MG's MRes thesis, extensive and sound plans are done, and the basis for the project is laid.
  • Regarding the SAT-AES report, the general and the mathematical background is completed, and we have good todos on how to proceed.

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

Version history
  • 0.1.0 : 26.11.2008; initial version; several projects started, none yet completed.

Definition in file milestones.hpp.