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


10.55.3 MiniZinc

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.


Send feedback on this subject.