OKlibrary  0.2.1.6
Basics.mac File Reference

Tests for basic functions regarding minimal unsatisfiability and irredundancy. More...

Go to the source code of this file.


Detailed Description

Tests for basic functions regarding minimal unsatisfiability and irredundancy.

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/MinimalUnsatisfiability/tests/Basics.mac");

Definition in file Basics.mac.