minor correction to the user guide

21 views

Skip to first unread message

unread,

Mar 16, 2025, 5:27:44 AMMar 16

to Picat

I think in the options for sat (section 12.6.3), dump(File) should actually be $dump(File).

best regards,

Cristian

Reply all

Reply to author

Forward

0 new messages