Problem solvingn-queens backtrackingPPC : gecodeSAT : picosatSWI-Prologsub set sumlatin square PPC : gecodemagic sequence PPC : gecode