News for hackers. Stuff that matters.

A comment on Constraint Programming (2020). Parent comment

Re:Constraint Programming (2020) by bobby__joe on Sunday April 16, 2023 @09:51PM (#35596004)
I strongly recommend Minizinc. The coursera course related to it is also an excellent introduction to constraint programming: https://www.coursera.org/learn/basic-modeling
[ Parent | on HN ]
Re:Constraint Programming (2020) by gcanyon on Monday April 17, 2023 @02:29AM (#35597412)
I posted a programming puzzle years back, and someone named Hakan Kjellerstrand pointed out that the problem leant itself to constraint programming and posted a solution in Minizinc.

Here's the puzzle page: https://gcanyon.wordpress.com/2009/10/28/a-programming-puzzl...

And the solution in Minizinc: http://www.hakank.org/minizinc/einav_puzzle.mzn

And my solution in J: https://gcanyon.wordpress.com/2009/10/30/a-solution-to-einav...

[ Parent | on HN ]
Re:Constraint Programming (2020) by hakank on Monday April 17, 2023 @02:44PM (#35604788)
Here are some implementations in different constraint languages on this puzzle (which I call the "Einav puzzle"): http://www.hakank.org/common_cp_models/#einavpuzzle
[ Parent | on HN ]
Re:Constraint Programming (2020) by gcanyon on Monday April 17, 2023 @04:03PM (#35605831)
Hakan, good to see you! I love how we run into each other whenever constraint programming comes up on HN :-)
[ Parent | on HN ]