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.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