OKlibrary  0.2.1.6
general.hpp File Reference

Plans for Maxima-components regarding backtracking algorithms. More...

Go to the source code of this file.


Detailed Description

Plans for Maxima-components regarding backtracking algorithms.

Todo:
Create milestones
Todo:
Write tests
Todo:
Write docus
Todo:
"Theoretical algorithms"
  • All algorithms from the realm of worst-case upper bounds on SAT (and, finally, also for all other areas), should be implemented.
  • Randomised as well as deterministic algorithms.
  • And also the (typically very simple) algorithms from probabilistic analysis of SAT (and other areas).
  • All these algorithms should be spread out over the modules to which their algorithms fit best?

Definition in file general.hpp.