Next: Zinc Errors, Previous: FlatZinc, Up: lib-zinc [Contents][Index]
| • MiniZinc Exported Predicates | Exported Predicates |
The predicates described here make it possible to load and run MiniZinc programs directly from within SICStus. In this way, the predicates described here are essentially wrappers for the predicates described in FlatZinc, providing a more high-level interface.