A needed Sicstus.3 Prolog library for the following programs to use the Sicstus.3 Prolog library clpb.
A needed Sicstus.3 Prolog library for the following programs to use the Sicstus.3 Prolog library clpb.
A needed Sicstus.3 Prolog library for the following programs to manipulate clauses.
The Sicstus.3 Prolog code for computing literal bases.
(
examples
)
The Sicstus.3 Prolog code for compiling a QBF with a search algorithm.
(
examples
)
The Sicstus.3 Prolog code for compiling a QBF with a quantifier elimination algorithm.
(
examples
)