added minimum boxamount, check for crappy file
authorMart Lubbers <mart@martlubbers.net>
Wed, 20 Apr 2016 18:47:59 +0000 (20:47 +0200)
committerMart Lubbers <mart@martlubbers.net>
Wed, 20 Apr 2016 18:47:59 +0000 (20:47 +0200)
commitc652648c47a5f1206951314a15e540f75cdbcf73
tree95872cc3361652232c299b851afe2e5df4669214
parent5f414d9998b3ec27360dc531721e1ef2740ba7db
added minimum boxamount, check for crappy file
modelchecker/main.c
modelchecker/sokoban.c