5 "execution_count": null,
9 "!mzn-gecode placement.mzn gold-1.dzn"
14 "execution_count": null,
18 "!mzn-gecode placement.mzn gold-2.dzn"
23 "execution_count": null,
27 "!mzn-gecode placement.mzn gold-3.dzn"
32 "execution_count": null,
36 "!mzn-gecode placement.mzn gold-4.dzn"
41 "execution_count": null,
45 "!mzn-gecode placement.mzn gold-5.dzn"
50 "execution_count": null,
58 "display_name": "Python 3",
67 "file_extension": ".py",
68 "mimetype": "text/x-python",
70 "nbconvert_exporter": "python",
71 "pygments_lexer": "ipython3",