Picat Version 3.8 Released

[Neng-Fa Zhou]

Hi,

I am pleased to announce the release of Picat version 3.8 (picat-lang.org). This version introduces a new and more efficient SAT encoder for the single-multiplication constraint,  and includes various improvements to address reported issues, particularly those from the 2024 Advent of Code participants. Additionally, the debugger has been enhanced to allow starting Picat in debug mode and displaying stack traces for uncaught runtime errors.

Cheers,

NF

[Peter Bernschneider]

Thank you for providing the new version! I can´t compile it on my Mac M2.

Error message:

"/usr/bin/g++ -std=c++11 -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -DDARWIN -Wall -DGC -fomit-frame-pointer -Wno-error=unused-label  -Ifann/src/include fann/fann_interface.cpp

fann/fann_interface.cpp:9:10: fatal error: 'cstring' file not found

    9 | #include <cstring>

      |          ^~~~~~~~~

1 error generated.

make: *** [fann_interface.o] Error 1"

I already checked the Xcode Command Line Tools and they are up-to-date.

What can I do?

Thanks, Peter

[Neng-Fa Zhou]

Have you encountered this issue with older versions before? It looks like the include path on your computer isn't set to include the missing header file. You might want to check if the solutions provided on the following website help:

https://apple.stackexchange.com/questions/458062/unable-to-find-include-file-on-newly-updated-macosc-c

Alternatively, if you're not using the neural-net library, you can use the attached Makefile to compile the files.

Cheers,

NF

[Peter Bernschneider]

Thanks for the link and the make file! I tried the tricks proposed in the above Stackexchange post, but without success. 

Then I removed and reinstalled the Xcode Command Line Tools. This did the trick and am happy now :-)

Many thanks, Peter