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 and require an external MiniZinc-to-FlatZinc translator. In this way, the predicates described here are essentially wrappers to the predicates described in FlatZinc, handling the MiniZinc-to-FlatZinc translation and providing a more high-level interface.