Claudio Cesar de Sa has release a great #Picat course on YouTube covering quite much details of Picat : youtube.com/playlist?list=… It's in Portuguese, but YouTube's translation seems to be quite good .

Just commited to GitHub: #Picat: github.com/hakank/hakank/… #Poplog/Pop-11: github.com/hakank/hakank/…

We call for participation at CP 2024, to be held on September 02-06 in Girona! cp2024.a4cp.org/cfpart.html #ConstraintProgramming #Conference #CP2024conf This will be the 30th edition of the International Conference on Principles and Practice of Constraint Programming 🎂 🧵👇

You have 10000 coins. 9999 of them are fair; one is rigged so that it always lands on heads. You choose a coin at random and flip it 10 times; it’s heads all ten times. The coin is probably

Probabilistic models of the one rigged coin problem in x.com/littmath/statu… . * #Racket/#Gamble: hakank.org/racket/gamble_… * #WebPPL: hakank.org/webppl/one_rig… Both show the coin is fair with a probability 0.9071033294021591 and biased with probability 0.09289667059784087.

#Picat v3.7 has been released: picat-lang.org It's mostly bug fixes: picat-lang.org/updates.txt Download: picat-lang.org/download.html

Two queens-related puzzles in #Picat: * Queens with Regions hakank.org/picat/queens_w… * Queens with Regions (with n-queens constraints) hakank.org/picat/queens_w… Descriptions and reference are in the programs. For a description of the latter problem: linkedin.com/feed/update/ur…

Peter Stuckey presents the Minizinc Challenge results

And Christophe Lecoutre has presented the XCSP Competition Results

Results from the #MiniZinc Challenge 2024: minizinc.org/challenge/2024… Like the last years, OR-tools CP-SAT got all Gold, and our #Picat SAT solver got 3 Silver. Congrats to all medalists: OR-tools, Choco, SICStus Prolog, iZplus, and Yuck! And: minizinc.org/challenge/

And in the #XCSP Competion 2024, #Picat got two Gold medals and one Silver medal. The XSCP Competition page has not yet being updated with the results: xcsp.org/competitions/ , but see this X thread: x.com/cp_conf/status… Congrats to all medalists!