ToySolver.Data.IntVar

type Var

type VarSet

type VarMap

class Variables a

type Model r

class Eval m e v