Next: , Previous: , Up: lib-zinc   [Contents][Index]


10.50.3 MiniZinc

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.


Send feedback on this subject.