Release of Picat Version 3.9

22 views

Skip to first unread message

Neng-Fa Zhou

unread,

Aug 22, 2025, 4:48:10 PMAug 22

to Picat

Picat Version 3.9 has been released (picat-lang.org). This release introduces several significant improvements and enhancements:

Bit-vector constraints in the sat module: These constraints make it possible to express arithmetic constraints over domains of unlimited size.

Enhanced SAT compiler: Substantial improvements make Picat SAT compiler state-of-the-art, generating concise and efficient SAT encodings for high-level constraints, as demonstrated in this year’s CSP solver competitions. This version includes several bug fixes in the SAT compiler.

Corrected interaction between tabling and throw: Programs with multiple calls to planning predicates now function correctly.

In addition, this release includes numerous minor improvements and refinements.

Cheers,

Hakan Kjellerstrand

unread,

Aug 23, 2025, 6:16:22 AMAug 23

to Picat

Here are some examples of how to use the bv module:

* Section "4 Day 17: Chronospatial Computer" of our ICLP'25 paper "Picat Through the Lens of Advent of Code" (by Neng-Fa Zhou, Cristian Grozea, Håkan Kjellerstrand, Oisín Mac Fhearaí, arxiv.org/abs/2507.11731 ).

* My examples at hakank.org/picat/#bv showing simple bit vector stuff, arbitrary precision, as well as some simple modeling examples (Sudoku, Minesweeper, SEND+MORE=MONEY, SEND+MOST=MONEY, etc).

Here's the GitHub commit of my bv examples https://github.com/hakank/hakank/commit/ca4a0af7513f4460fef02c8296741ca11b27aec0