readme

PRl教学程序 PRl教学程序 PRl教学程序

This directory contains several example programs that use finite-domain and Boolean constraints.

alpha.pl                  Arithmetic puzzle
bridge.pl                 Bridge scheduling problem  
cars.pl                   Car sequencing problem  
color.pl                  Color the graph by Gardner using forward checking.
crypta.pl                 Arithmetic puzzle
eq10.pl                   Linear equation
eq20.pl                   Linear equation
fractions.pl              Arithmetic puzzle
grocery.pl                Arithmetic puzzle
magic3.pl                 A magic square problem.
magic4.pl                 A magic square problem.
magicseq.pl               Magic sequence puzzle
olympic.pl                A puzzle taken from Olympic games of mathematics.
queens1.pl                O(N^2)-space program for solving N-queen problem.
queens2.pl                O(N)-constraint program for solving N-queen problem.
queens3.pl                O(N)-space program for solving N-queen problem.
sendmoney.pl              SEND+MORE=MONEY
srq50.pl                  A self-referential quizze by Antonio J. Fernandez  
sudoku**.pl               SUDOKU puzzles
zebra.pl                  The zebra puzzle.
route.pl                    Channel routing problem