弟の学校の問題をAliceMLで解いた

search.aml

import structure Search   from "x-alice:/lib/gecode/Search"
import structure FD       from "x-alice:/lib/gecode/FD"
import structure Modeling from "x-alice:/lib/gecode/Modeling"
import structure Explorer from "x-alice:/lib/tools/Explorer"
open Modeling

fun search sp =
let
  val v as #[Dog,Cat,Horse,Sheep,Cow] = fdtermVec (sp, 5, [1`#9])
in
  distinct (sp, v, FD.BND);
  post (sp, Dog `+ Cat `+ Horse `+ Sheep `+ Cow	`= `19, FD.BND);
  post (sp, Dog `+ Sheep `+ Cow `= `14, FD.BND);
  post (sp, Cat `+ Horse `+ Cow `= `10, FD.BND);
  post (sp, Dog `+ Horse `+ Sheep `= `11, FD.BND);
  post (sp, Cat `+ Horse `+ Sheep `= `13, FD.BND);
  branch (sp, v, FD.B_SIZE_MIN, FD.B_MIN);
  {Dog,Cat,Horse,Sheep,Cow}
end

Explorer.exploreAll search