OKlibrary  0.2.1.6
general.hpp File Reference

User documentation for SAT in Lisp/Maxima. More...

Go to the source code of this file.


Detailed Description

User documentation for SAT in Lisp/Maxima.

General ideas

  • Boolean clause-sets are treated directly, very similar to the mathematical definition.
  • The point is not efficient computation, but
    1. readability of code
    2. ease of writing code.
  • The aim is to create a comprehensive collection of simple "procedural specifications".

General documentation

Overview on docus

Definition in file general.hpp.