A better way to get a nicer input to Minion is to use SavileRow ( http://savilerow.cs.st-andrews.ac.uk/ ) , which is similar to MiniZinc, although it only outputs Minion, Gecode and SAT output (the quality for these solvers is usually much better than MiniZinc’s however).

]]>But I should probably investigate others just to have a wider range of options.

]]>Hughes, D. R.

Review of some results in collineation groups. 1959 Proc. Sympos. Pure Math., Vol. 1 pp. 42–55 American Mathematical Society, Providence, R.I.

On page 52, Dan Hughes says:

“Indeed if it has a transitive collineation group, then [a finite projective plane] is probably Desarguesian.”

So of course I tried Googling “Pursue impossible”. The entire first page consisted of items about UWA (you may be pleased to know), but one of them had this nice headline from The Australian: “UWA VC to Pursue Impossible Bjorn Lomborg explanation”. ]]>