December 2020

Solving Zebra Puzzles with MiniZinc
Using integer programming and nlp to solve logic puzzles
puzzles minizinc