OKlibrary  0.2.1.6
general.hpp File Reference

Plans for the module concerning the formulas-database. More...

Go to the source code of this file.


Detailed Description

Plans for the module concerning the formulas-database.

Bug:
We should avoid any rounding errors in the output of CreateStatistics.cpp
  • Scientific notation perhaps is better avoided.
  • And floating point numbers should be output at a high precision.
Todo:
General databases
  • Compare "The general framework" in Experimentation/plans/general.hpp.
  • A relational database likely is too specialised to provide a common framework for all the data relevant in the context of SAT (e.g., special minimally unsatisfiable clause-sets, interesting satisfying assignments for hard problems, data on formula classes, data on the behaviour of algorithms.
  • Perhaps we have something common "root", simply file-based, which contains then, as usual in sub-directories, the more specialised databases.
Todo:
Documentation
  • Add minimal doxygen-documentation to the C++ files.
Todo:
make
  • Shall we use the local postgresql-installation for compilation (as include-source)? Perhaps as the default.
Todo:
Other files
  • How to treat the .dtd and .sql files?

Definition in file general.hpp.