OKlibrary  0.2.1.6
general.hpp File Reference

On investigations regarding translations of generalised clause-sets into boolean clause-sets. More...

Go to the source code of this file.


Detailed Description

On investigations regarding translations of generalised clause-sets into boolean clause-sets.

Definition in file general.hpp.