CPSolver.Examples.Reindeers (Fixpoint v0.8.25)

Summary

Functions

Santa always leaves plans for his elves to determine the order in which the reindeer will pull his sleigh. This year, for the European leg of his journey, his elves are working to the following schedule, which will form a single line of nine reindeer.

Functions

Link to this function

order(solution)

Link to this function

print(solution)

Link to this function

solve(opts \\ [])

Santa always leaves plans for his elves to determine the order in which the reindeer will pull his sleigh. This year, for the European leg of his journey, his elves are working to the following schedule, which will form a single line of nine reindeer.

Here are the rules:

Comet behind Rudolph, Prancer and Cupid Blitzen behind Cupid Blitzen in front of Donder, Vixen and Dancer Cupid in front of Comet, Blitzen and Vixen Donder behind Vixen, Dasher and Prancer Rudolph behind Prancer Rudolph in front of Donder, Dancer and Dasher Vixen in front of Dancer and Comet Dancer behind Donder, Rudolph and Blitzen Prancer in front of Cupid, Donder and Blitzen Dasher behind Prancer Dasher in front of Vixen, Dancer and Blitzen Donder behind Comet and Cupid Cupid in front of Rudolph and Dancer Vixen behind Rudolph, Prancer and Dasher.