added skeleton

diff --git a/modelchecker/Makefile b/modelchecker/Makefile
index 1bdebb8..ab740f9 100644 (file)
--- a/modelchecker/Makefile
+++ b/modelchecker/Makefile
@@ -1,6 +1,7 @@
 PROGRAM:=main
+OBJS:=
 CFLAGS:=-O3 -Wextra -Wall -Werror -fno-strict-aliasing -std=gnu11 \
-       -I./sylvan/src# -I./sylvan/examples/.
+       -I./sylvan/src
 
 all: $(PROGRAM)
 

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 5e89211..00f8b32 100644 (file)
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -2,7 +2,35 @@
 
 #include <sylvan.h>
 
+//#include <sokoban.h>
+//#include <object.h>
+//#include <coord.h>
+//#include <mc.h>
+
 int main(void){
-       printf("Hello world!\n");
+       // Mart:
+       // Argument parsing
+       // ./main [opts] [FILEPATH [FILEPATH ...]]
+       // -o         Objectbased
+       // -c         Coordinatebased
+       // -y         hYbrid
+       // -h         Help
+       //
+       // FUTURE:
+       // -r         Also compute the set of all reachable solution states
+       // -l LURD    Check if LURD is a valid path
+       //
+       // FILEPATH   Optional input file(s)
+       
+       // Alex:
+       // Screen reading
+       // - Removing outside walls
+       // - Bucket fill
+       // - [tile]
+       // - tile = structure {int, int, enumtile}
+       
+       // Both: Encoding in both schemes
+       
+       // Future: SMC
        return 0;
 }

diff --git a/modelchecker/sokoban.h b/modelchecker/sokoban.h
new file mode 100644 (file)
index 0000000..e69de29