There's a good course on Coursera on using MiniZinc to express constraints for solvers: https://www.coursera.org/learn/basic-modeling https://www.coursera.org/l

There's a good course on Coursera on using MiniZinc to express constraints for solvers: https://www.coursera.org/learn/basic-modeling https://www.coursera.org/learn/basic-modeling