A puzzle solver that solves Fill-In puzzles up to 32x20 in size (beyond this YMMV) in a reasonable time.

Call the predicate 'main(PuzzleFile, WordlistFile, SolutionFile)' by specifying the path of an input puzzle file, an input word list file and an output solution file. Example of input files as well as expected solutions can be found in the examples folder.