• 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