flatzinc 0.3.4

{
  "git": {
    "sha1": "62eaa7e3c2a68a2ac25acbaaf7aeb6c24100e8ef"
  }
}