File | Type | Notes |
---|---|---|
prob027-alientiles-multipass.zip | Essence |
Model using equivalence to determine minimality. Based on method used by Gent, Linton and Smith |
prob027-alientiles-singlepass.essence | Essence |
Natural model of problem as stated, but very expensive. Will only solve (via conjure/savilerow) very small problems, roughly such that grid+colours <= 5 |