lvm.h File Reference

Definitions and declarations for the Propositional Logic Engine. More...

#include <stdlib.h>
#include "db-options.h"

Go to the source code of this file.

Detailed Description

Definitions and declarations for the Propositional Logic Engine.

Author

Nicolas Tsiftes nvt@s.nosp@m.ics..nosp@m.se

Definition in file lvm.h.