tents_optimized.pl, an optimized version of tents_naive.pl, which can solve all test boards within seconds as opposed to likely weeks.
Optimized primarily by reordering conjunctions and avoiding fruitless search, as discussed in the aforementioned handout concerning optimizations.