Picat

Download

Documentation: PDF | HTML

Version 3.9#4

picat394_linux64.tar.gz	Linux (64-bit)
picat394_mingw64.zip	Windows (64-bit)
picat394_src.tar.gz	C source code

To Mac Users

To install Picat on MacOS, follow the following steps:

Download the source code picat***_src.tar.gz, where *** is the version number.
Extract the files from the tarball file by typing:

tar xfv picat***_src.tar.gz

Change the working directory to Picat/emu.
Make the executable picat by typing the command:

make -f Makefile.mac64

Update log

Released version 3.9#4, November 28, 2025.
Released version 3.9, August 22, 2025.
Released version 3.8, January 31, 2025.
Released version 3.7, August 26, 2024.
Released version 3.6, January 11, 2024.
Released version 3.5, July 2, 2023.
Released version 3.4, March 11, 2023.
Released version 3.3, September 6, 2022.
Released version 3.2, March 12, 2022.
Released version 3.1, May 6, 2021.
Released version 3.0, September 26, 2020.
Released version 2.8, December 5, 2019.
Released version 2.7b12, September 12, 2019.
Released version 2.6#2, March 3, 2019.
Released version 2.6, February 8, 2019.
Released version 2.5, October 8, 2018.
Released version 2.4, April 15, 2018.
Released version 2.3, February 1, 2018.
Released version 2.2, August 10, 2017.
Released version 2.1, March 12, 2017.
Released version 2.0, November 17, 2016.
Released version 1.9, April 3, 2016.
Released version 1.8, February 18, 2016.
Released version 1.7, January 3, 2016.
Released version 1.6, December 13, 2015.
Released version 1.5, November 23, 2015.
Released version 1.4, September 28, 2015.
Released version 1.3, August 1, 2015.
Released version 1.2, June 12, 2015.
Released version 1.1, May 15, 2015.
Released version 1.0 , April 3, 2015.
Released version 0.9 , March 1, 2015.
Released version 0.8 , January 24, 2015.
Released version 0.7 , November 13, 2014.
Released version 0.6 , August 15, 2014.
Released version 0.5 , July 16, 2014.
Released version 0.4 , July 2, 2014.
Released version 0.3 , May 23, 2014.
Released version 0.2#1, April 1, 2014.
Released version 0.1, February 3, 2014.
Start of internal review, May 31, 2013