MiniZinc - Hackdot

Re:MiniZinc by gcanyon on Friday July 21, 2023 @11:15PM (#36822840)

Whenever MiniZinc, or constraint programming, comes up, I post this link to a programming challenge a friend gave me...14 years ago. I was learning J, and the challenge was me in J, her in javascript or php (she never completed the solution). Here's the link: https://gcanyon.wordpress.com/2009/10/28/a-programming-puzzl...

And a person I didn't know posted a solution using MiniZinc. That person happens to also be on HN, so whenever constraint programming comes up, or MiniZinc, I post this story, and Hakan shows up. You around, Hakan? :-)

Here's Hakan's page on the solution: http://www.hakank.org/minizinc/einav_puzzle.mzn

[ Parent | on HN ]

Re:MiniZinc by colelyman on Friday July 21, 2023 @11:19PM (#36822863)

Hakan’s examples have illustrated so many constraint programming principles, his site is a wealth of knowledge!

For the comments referring to examples more complex than Sudoku, his website is the best that I have found! Thanks Hakan.

[ Parent | on HN ]

Re:MiniZinc by hakank on Saturday July 22, 2023 @01:59AM (#36823707)

Thanks for your kind words.

[ Parent | on HN ]

Re:MiniZinc by hakank on Saturday July 22, 2023 @01:40AM (#36823609)

Of course! :-)

[ Parent | on HN ]

Re:MiniZinc by darksaints on Saturday July 22, 2023 @01:25PM (#36828011)

I have a secret obsession with hakank’s constraint programming solutions. One of the things that is difficult with constraint programming is that there are several dozens of solvers out there, and they all have different capabilities and limitations. There have been a bunch of times that I have gotten stuck modeling a problem, find some similar problems with brilliant solutions on hakank’s page, and then realize I should actually be using a different solver or a different language.

[ Parent | on HN ]