https://123dok.org/document/q5m9j23j-constraint-programming.html