OKlibrary  0.2.1.6
general.hpp File Reference

Plans regarding the applications part in general. More...

Go to the source code of this file.

Namespaces

namespace  OKlib::Applications
 

Components for applications of generalised satisfiability.


namespace  OKlib
 

All components of the OKlibrary.



Detailed Description

Plans regarding the applications part in general.

Todo:
Introduce namespace-alias.
Todo:
First the distinction between this part and part Satisfiability has to be cleared:
  • Although one may find here the same components as in part Satisfiability, here the scope is more specialised.
Todo:
Create milestones

Definition in file general.hpp.