Add wolf_goat_cabbage.v puzzle solver
authorClifford Wolf <clifford@clifford.at>
Tue, 26 Sep 2017 17:17:16 +0000 (19:17 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 26 Sep 2017 17:17:16 +0000 (19:17 +0200)
commitf403b99fae053baab651e3ec8345a68cb3ba6a96
tree7f7f3db1b826d9331c1a587ac588a421c81b3d66
parent27da852e385e46570d45bc02f49ffa9a7c138afa
Add wolf_goat_cabbage.v puzzle solver
docs/examples/puzzles/wolf_goat_cabbage.v [new file with mode: 0644]