Toggle navigation
MiniZinc
Software
Resources
Team
Challenge
Discussions
Ignasi Abio
NICTA
Automatic translation to SAT.