13 Command Reference Pages

The reference pages for the SICStus Prolog command line tools follow.

sicstus(1)

SICStus Prolog Development System

mzn-sicstus(1)   since release 4.3

Shortcut for MiniZinc with SICStus back-end

spfz(1)   since release 4.3

FlatZinc Interpreter

spdet(1)

Determinacy Checker

spld(1)

SICStus Prolog Application Builder

splfr(1)

SICStus Prolog Foreign Resource Linker

splm(1)

SICStus Prolog License Manager

spxref(1)

Cross Referencer


Send feedback on this subject.