OKlibrary  0.2.1.6
general.hpp File Reference

Central docus-file for the part on tools and plans/results regarding experimentation. More...

Go to the source code of this file.


Detailed Description

Central docus-file for the part on tools and plans/results regarding experimentation.

Tools for experimentation, and investigations

Tools for creating, running, evaluating and storing experiments, small and large-scale.

Benchmarks

In submodule Experimentation/Benchmarks information is given on benchmark packages (which are for example created for the SAT competition).

See Experimentation/Benchmarks/docus/general.hpp for the central docus-file.

Investigations

In submodule Experimentation/Investigations concrete investigations are planned, recorded and discussed:

  • See Investigations/RamseyTheory for the plans on Ramsey theory.
  • See Investigations/TenChallenges</code for the ten challenges for advancing (core) SAT solving.

Definition in file general.hpp.