The Sicstus.3 Prolog code for computing QCSP bases.
The gprolog code for computing QCSP bases.
The Sicstus.3 Prolog code for computing QCSP bases.
The gprolog code for computing QCSP bases.
The Sicstus.3 Prolog code for compiling a QCSP with a recursive search algorithm.
(
examples
)
The grolog code for compiling a QCSP with a recursive search algorithm.
(
examples
)
The Sicstus.3 Prolog code for compiling a QCSP with an iterative algorithm in cooperation with a search algorithm.
(
examples
)
A needed library to compile a QCSP with an iterative algorithm in cooperation with a search algorithm.
A tracer for QCSP needed to compile a QCSP with an iterative algorithm in cooperation with a search algorithm.