Class CalendarMen

java.lang.Object
org.jacop.examples.fd.ExampleFD
org.jacop.examples.fd.CalendarMen

public class CalendarMen extends ExampleFD
It solves a simple logic puzzle about sport calendar.
Version:
4.9

Title: Calendar Men Author of a logic puzzle: Alex Knight Publication: Dell Logic Puzzles Issue: December, 1998 Page: 52 Stars: 5

To raise some money for college sports programs, students at a local junior college produced and sold an "Athlete of the Month" calendar. Each month of the year featured a photograph of a different man (first names are Antonio, Brett, Cliff, Dabney, Ed, Francisco, Griff, Harry, Ivor, John, Karl, and Lorenzo; last names are Moross, Nelsen, O'Rourke, Paulos, Quarello, Reede, Sheldon, Taylor, Uhler, Vickers, Wang and Xiao) engaged in a different sport (archery, badminton, croquet, football, golf, hockey, lacrosse, pole vaulting, rowing, squash, tennis, and volleyball). Can you find the full name and sport of each month's athlete?

  • Constructor Details

    • CalendarMen

      public CalendarMen()
  • Method Details

    • model

      public void model()
      Description copied from class: ExampleFD
      It specifies a standard way of modeling the problem.
      Specified by:
      model in class ExampleFD
    • modelBasic

      public void modelBasic()
      It creates a model of this logic puzzle using mostly primitive constraints.
    • test

      public static void test(String[] args)
      It executes the program solving this puzzle using two different models.
      Parameters:
      args - no arguments read.
    • main

      public static void main(String[] args)
      It executes the program solving this puzzle using the best approach.
      Parameters:
      args - no arguments read.