| • 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.3Shortcut for MiniZinc with SICStus back-end
spfz(1) since release 4.3FlatZinc 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