OKlibrary  0.2.1.6
general.hpp File Reference

Main docus-file for the application part. More...

Go to the source code of this file.


Detailed Description

Main docus-file for the application part.

SAT applications

The part "Applications" of the OKlibrary contains all applications of (generalised) SAT.

Sub-divisions

The main docus-files for the sub-super-modules (UNDER CONSTRUCTION):

Definition in file general.hpp.