OKlibrary  0.2.1.6
milestones.hpp File Reference

Go to the source code of this file.


Detailed Description

Module Versions:
Experimentation/ExperimentSystem/SolverMonitoring 0.0.10 (20.8.2011)
Version 0.1 :
In ExperimentSystem/SolverMonitoring/plans/general.hpp the following topics are handled:
  • Handling changing solver output
  • Running experiments
  • Better summary statistics
  • Extraction tools
  • Testing solver extraction scripts
In ExperimentSystem/SolverMonitoring/plans/Minisat2.hpp the following topics are handled:
  • Move read_minisat2_output functionality to wrapper script
In ExperimentSystem/SolverMonitoring/plans/Minisat2.hpp the following topics are handled:
  • Extracted data attribute names
In ExperimentSystem/SolverMonitoring/plans/OKsolver.hpp the following topics are handled:
  • Handling splitting output : DONE
  • Write extraction tool
In ExperimentSystem/SolverMonitoring/plans/Picosat.hpp the following topics are handled:
  • Move read_picosat_output functionality to wrapper script
Version 0.1.1 :
In ExperimentSystem/SolverMonitoring/plans/general.hpp the following topics are handled:
  • Add monitoring for all other solvers
In ExperimentSystem/SolverMonitoring/plans/OKsolver.hpp the following topics are handled:
  • R-problem with read_oksolver_mon
  • Function hist_oksolver_mon_nodes
Version 0.1.2 :
In ExperimentSystem/SolverMonitoring/plans/OKsolver.hpp the following topics are handled:
  • Function summary_oksolver
  • Function plot_oksolver_mon_nodes
  • Object-oriented syntax
Add further milestones

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

Version history
  • 0.0.9 : 1.8.2011; initial version number (various R-functions and scripts for evaluating experiments, started standardisation and systematisation).
  • 0.0.10: 20.8.2011; various code improvements, introduced standardised variable-names, provided first extraction-script and first experimentation-script, and tools regarding cube-and-conquer.

Definition in file milestones.hpp.