Next: References, Previous: C Reference Pages, Up: Top [Contents][Index]
• 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