OKlibrary  0.2.1.6
milestones.hpp File Reference

Go to the source code of this file.


Detailed Description

Module Versions:
ExperimentSystem/ControllingLocalSearch 0.3.1 (25.11.2010)
Version 0.3.2 :
In ExperimentSystem/ControllingLocalSearch/plans/DataCollection.hpp the following topics are handled:
  • Incomplete data collection
  • Add new-ubcsat-okl as an option for run_ubcsat
In ExperimentSystem/ControllingLocalSearch/plans/Ubcsat-okl.hpp the following topics are handled:
  • Better output
Version 0.3.3 :
In ExperimentSystem/ControllingLocalSearch/plans/DataCollection.hpp the following topics are handled:
  • Better output of run_ubcsat
  • Bad columns produced by run_ubcsat
Version 0.4
In ExperimentSystem/ControllingLocalSearch/plans/DataCollection.hpp the following topics are handled:
  • Missing evaluation tools
In ExperimentSystem/ControllingLocalSearch/plans/Evaluation.hpp the following topics are handled:
  • Evaluation tools for run_ubcsat
Version 0.4.1
In ExperimentSystem/ControllingLocalSearch/plans/DataCollection.hpp the following topics are handled:
  • Make run_ubcsat interruptible
In ExperimentSystem/ControllingLocalSearch/plans/Ubcsat-okl.hpp the following topics are handled:
  • More readable large numbers
Version 0.4.2
In ExperimentSystem/ControllingLocalSearch/plans/DataCollection.hpp the following topics are handled:
  • Parallelisation
Version 0.5
In ExperimentSystem/ControllingLocalSearch/plans/AlgorithmSelection.hpp the following topics are handled:
  • Selecting the best algorithm
In ExperimentSystem/ControllingLocalSearch/plans/ParameterTuning.hpp the following topics are handled:
  • Selecting the best parameters
In ExperimentSystem/ControllingLocalSearch/plans/PointOfUnsatisfiability.hpp the following topics are handled:
  • Finding the n where a problem series changes from SAT to UNSAT
  • Simpler strategies
Version 0.6
In ExperimentSystem/ControllingLocalSearch/plans/general.hpp the following topics are handled:
  • Meta heuristics

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

Version history
  • 0.3 : 22.11.2010; initial version number (established tools for processing ubcsat-created data, running ubcsat and evaluating ubcsat-algorithms; plans for meta-heuristics).
  • 0.3.1 : 25.11.2010; improved output and documentation for run_ubcsat.

Definition in file milestones.hpp.