Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
Picat
Conversations
About
Groups keyboard shortcuts have been updated
Dismiss
See shortcuts
Picat
Contact owners and managers
1–30 of 441
Mark all as read
Report group
0 selected
Yurii Rashkovskii
,
Neng-Fa Zhou
2
Feb 7
Geting more than one top plan with different costs
For example, you could write something like this: table plan_range(S,Limit,Plan,Cost) ?=> final(S)
unread,
Geting more than one top plan with different costs
For example, you could write something like this: table plan_range(S,Limit,Plan,Cost) ?=> final(S)
Feb 7
Neng-Fa Zhou
,
Peter Bernschneider
4
Feb 4
Picat Version 3.8 Released
Thanks for the link and the make file! I tried the tricks proposed in the above Stackexchange post,
unread,
Picat Version 3.8 Released
Thanks for the link and the make file! I tried the tricks proposed in the above Stackexchange post,
Feb 4
Neng-Fa Zhou
Jan 31
Summary of Picat Usability Feedback
Thank you to everyone who has responded to the Picat Usability Feedback questionnaire! So far, we
unread,
Summary of Picat Usability Feedback
Thank you to everyone who has responded to the Picat Usability Feedback questionnaire! So far, we
Jan 31
Neng-Fa Zhou
Jan 22
Coding Style Guidelines for Picat
There are no official coding style guidelines for Picat. However, I typically follow these spacing
unread,
Coding Style Guidelines for Picat
There are no official coding style guidelines for Picat. However, I typically follow these spacing
Jan 22
Hakan Kjellerstrand
, …
Neng-Fa Zhou
4
Jan 20
No del function for get_global_map
Thanks for the fix, Neng-Fa. I can confirm that this works now. Also, I did my usual benchmark tests,
unread,
No del function for get_global_map
Thanks for the fix, Neng-Fa. I can confirm that this works now. Also, I did my usual benchmark tests,
Jan 20
Hakan Kjellerstrand
, …
Neng-Fa Zhou
58
Jan 15
Advent of Code 2024 in Picat?
I had time to redo the Day 16 problem. My original solution is too slow, and it needs hours to
unread,
Advent of Code 2024 in Picat?
I had time to redo the Day 16 problem. My original solution is too slow, and it needs hours to
Jan 15
Claudio Cesar de Sá
, …
Neng-Fa Zhou
7
Jan 14
AOC2024 - problem 16 - part 1
Thanks Neng-Fa As soon as I will be rewriting the whole code without a copy of Grid. I was copying
unread,
AOC2024 - problem 16 - part 1
Thanks Neng-Fa As soon as I will be rewriting the whole code without a copy of Grid. I was copying
Jan 14
C. G.
, …
Neng-Fa Zhou
4
Jan 8
picat-lang.org SSL certificate
Good news: picat-lang.org has an SSL now, and viewers will not receive annoying warnings about
unread,
picat-lang.org SSL certificate
Good news: picat-lang.org has an SSL now, and viewers will not receive annoying warnings about
Jan 8
jf
12/15/24
Map.del and trace problem?
Hi, it seems Map.del() does not work in trace mode: Picat> X=new_map(),X.put(a),X.put(b),X.del(a)
unread,
Map.del and trace problem?
Hi, it seems Map.del() does not work in trace mode: Picat> X=new_map(),X.put(a),X.put(b),X.del(a)
12/15/24
C. G.
, …
Neng-Fa Zhou
4
10/26/24
Suggestion: making it easier to swap the integrated kissat - led to 2x-9x acceleration on one problem
Hi Hakan, Many thanks for your answer, and especially for the hint about the wrong syntax. I confirm
unread,
Suggestion: making it easier to swap the integrated kissat - led to 2x-9x acceleration on one problem
Hi Hakan, Many thanks for your answer, and especially for the hint about the wrong syntax. I confirm
10/26/24
Neng-Fa Zhou
10/20/24
ICLP'24 Programming Contest
Hi, As a tradition, I always update the repo https://github.com/nfzhou/lp-contest with new solutions
unread,
ICLP'24 Programming Contest
Hi, As a tradition, I always update the repo https://github.com/nfzhou/lp-contest with new solutions
10/20/24
jf
,
Neng-Fa Zhou
2
10/20/24
cp works, other solvers fail
Hi, It's surprising that cp works on this program. The issue is here: Groups[Ind] #= [Input[I] *
unread,
cp works, other solvers fail
Hi, It's surprising that cp works on this program. The issue is here: Groups[Ind] #= [Input[I] *
10/20/24
Neng-Fa Zhou
10/9/24
Picat's News Group Moderation
Due to web-based spam postings on the Picat news group, I have changed the setting so that all
unread,
Picat's News Group Moderation
Due to web-based spam postings on the Picat news group, I have changed the setting so that all
10/9/24
Alper Çuğun
, …
Doug Edmunds
4
9/12/24
Trying out the REPL
On Thursday 12 September 2024 at 00:12:28 UTC+2 Hakan Kjellerstrand wrote: * Generally the best way
unread,
Trying out the REPL
On Thursday 12 September 2024 at 00:12:28 UTC+2 Hakan Kjellerstrand wrote: * Generally the best way
9/12/24
Neng-Fa Zhou
9/11/24
XCSP Competition and MiniZinc Challenge Results
The 2024 Minizinc Challenge and XCSP competition results have been released on the competition
unread,
XCSP Competition and MiniZinc Challenge Results
The 2024 Minizinc Challenge and XCSP competition results have been released on the competition
9/11/24
Neng-Fa Zhou
9/3/24
Quadratic Traveling Salesman Problem
During the tutorial at CP'24, Christopher Beck gave an interesting exercise, called QTSP. Here is
unread,
Quadratic Traveling Salesman Problem
During the tutorial at CP'24, Christopher Beck gave an interesting exercise, called QTSP. Here is
9/3/24
C. G.
, …
Nartoo Meon
5
8/27/24
beginner question
Hello, Many thanks, I can confirm it works in 3.7 for me as well. I have tried and succeeded to
unread,
beginner question
Hello, Many thanks, I can confirm it works in 3.7 for me as well. I have tried and succeeded to
8/27/24
Nartoo Meon
,
Hakan Kjellerstrand
7
8/21/24
Planning automation
This is very cool !🤩 So, this program can found exact formula to compute each value in the data file,
unread,
Planning automation
This is very cool !🤩 So, this program can found exact formula to compute each value in the data file,
8/21/24
Charlyn Scifres
8/18/24
Download Cheat Wallhack Speed Hack Cso Indonesia
In Asian servers, there are these BOTS that auto joins, auto spam the voice chat non stop which is
unread,
Download Cheat Wallhack Speed Hack Cso Indonesia
In Asian servers, there are these BOTS that auto joins, auto spam the voice chat non stop which is
8/18/24
Doug Edmunds
,
Peter Bernschneider
3
7/18/24
Seeing Triple logic puzzle
Thanks! On Thursday, July 18, 2024 at 1:41:33 AM UTC-7 Peter Bernschneider wrote: Hi Doug, here is a
unread,
Seeing Triple logic puzzle
Thanks! On Thursday, July 18, 2024 at 1:41:33 AM UTC-7 Peter Bernschneider wrote: Hi Doug, here is a
7/18/24
Doug Edmunds
,
Neng-Fa Zhou
2
7/8/24
Picat Guide pdf file has invisible spaces
That's interesting. I can confirm the issue when viewing the pdf file with a browser. However,
unread,
Picat Guide pdf file has invisible spaces
That's interesting. I can confirm the issue when viewing the pdf file with a browser. However,
7/8/24
Doug Edmunds
6/29/24
http vs https for the Picat website
Browsers are getting strict about sites that are not https. If not outright blocking access, they are
unread,
http vs https for the Picat website
Browsers are getting strict about sites that are not https. If not outright blocking access, they are
6/29/24
Nartoo Meon
,
Hakan Kjellerstrand
3
6/15/24
introspection & calls
"... the part to generate all the parameters/values is not a problem. Is that correct? ..."
unread,
introspection & calls
"... the part to generate all the parameters/values is not a problem. Is that correct? ..."
6/15/24
lassenza73
, …
Hakan Kjellerstrand
10
5/20/24
Newbie and first difficulties
Hi, using SCIP solver is realy faster So now i'm tring to increment the number of Articles but
unread,
Newbie and first difficulties
Hi, using SCIP solver is realy faster So now i'm tring to increment the number of Articles but
5/20/24
Neng-Fa Zhou
5/20/24
A New Introduction of Picat by ChatGPT
Take a look at ChatGPT's new introduction of Picat. https://chatgpt.com/share/65298563-062b-41bc-
unread,
A New Introduction of Picat by ChatGPT
Take a look at ChatGPT's new introduction of Picat. https://chatgpt.com/share/65298563-062b-41bc-
5/20/24
Peter Bernschneider
,
Neng-Fa Zhou
2
5/6/24
Strange behavior of acyclic/2 constraint
Hi Peter, Thank you for the program. Yes, your program reveals a bug in the newly added constraint
unread,
Strange behavior of acyclic/2 constraint
Hi Peter, Thank you for the program. Yes, your program reveals a bug in the newly added constraint
5/6/24
Woosuk Kwak (Bubbler)
,
Neng-Fa Zhou
3
4/29/24
A possible SAT solver bug
Thank you for reporting. A patched version (3.6#4) has been released. Cheers, NF On Thursday, April 4
unread,
A possible SAT solver bug
Thank you for reporting. A patched version (3.6#4) has been released. Cheers, NF On Thursday, April 4
4/29/24
Neng-Fa Zhou
4/26/24
Picat Version 3.6#3
Hi all, A minor version, 3.6#3, has just been released. It extends the "include" directive
unread,
Picat Version 3.6#3
Hi all, A minor version, 3.6#3, has just been released. It extends the "include" directive
4/26/24
Hakan Kjellerstrand
, …
Neng-Fa Zhou
31
4/24/24
Picat programs for most puzzles in Adrian Groza's book Modelling Puzzles in First Order Logic
Thanks, Peter, for the experimentation. I can confirm that the number of rows in the exact cover
unread,
Picat programs for most puzzles in Adrian Groza's book Modelling Puzzles in First Order Logic
Thanks, Peter, for the experimentation. I can confirm that the number of rows in the exact cover
4/24/24
markus hecher
,
Neng-Fa Zhou
3
3/27/24
CNF conversion
Hi, Thanks for the quick response. So we were just wondering regarding relationships between
unread,
CNF conversion
Hi, Thanks for the quick response. So we were just wondering regarding relationships between
3/27/24