²The Picat-FANN interface was implemented by Sanders Hernandez.