Analysis of Tombstone Geography

This one-star logic puzzle has 3 noun types, 5 nouns per type, 3 links, 10 facts, and 1 rule. It needs 75 marks and 3 grids. This other links besides "with" are: "larger than" which involves the populations, and "two further than" which involves the distances. This is more advanced than most one-star puzzles. The link "larger than" is set using Link.getIsMoreThan().

The "two further than" link must be manually defined. This is because the functions in the Link class reference the one-based number of each noun. The one-based numbers [1,2,3,4,5] do not correspond to the distances [1,2,3,5,10], so you need to write your own function.

Clue 4 states Thirsty Hollow is 15 miles from Brambleburg (as the crow flies). How does this affect the distances each town is from Tombstone? This does not require a rule, but it does require some thought.

Clue 1 states the populations of Coyote Canyon plus Thirsty Hollow equals Cactusville, so I created a rule to enforce this. But using only a rule forces the program to make assumptions. I needed to convert my rule into facts. I wrote a small function that examines the populations to see what populations are not possible for the three towns in question. The logic is something like this:

1. If pop1 plus any pop2 cannot equal any pop3 then Coyote Canyon and Thirsty Hollow cannot have pop1.
2. If pop1 cannot equal any pop2 plus any pop3 then Thirsty Hollow cannot have pop1.

The number of facts in this puzzle went from 10 to 20, but now the puzzle can be solved with no assumptions. I kept the rule though the program does not need it. All in all, I thought this was a challenging one-star puzzle.