OKlibrary  0.2.1.6
Backtracking.mac File Reference

Functions for SAT decision for propositional formulas. More...

Go to the source code of this file.


Detailed Description

Functions for SAT decision for propositional formulas.

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/PropositionalLogic/Backtracking.mac");

Definition in file Backtracking.mac.