The Picat project has released version 2.4