13 Command Reference Pages

• too-sicstus: sicstus --- SICStus Prolog Development System
• too-mzn-sicstus: mzn-sicstus --- shortcut for MiniZinc with SICStus back-end
• too-spfz: spfz --- FlatZinc Interpreter
• too-spdet: spdet --- Determinacy Checker
• too-spld: spld --- SICStus Prolog Application Builder
• too-splfr: splfr --- SICStus Prolog Foreign Resource Linker
• too-splm: splm --- SICStus Prolog License Manager
• too-spxref: spxref --- Cross Referencer

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