From 6b53be4450e3ed383740284bb2ebcacfbd861707 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 23 Mar 2016 11:00:58 +0100
Subject: [PATCH] added skeleton

---
 modelchecker/Makefile  |  3 ++-
 modelchecker/main.c    | 30 +++++++++++++++++++++++++++++-
 modelchecker/sokoban.h |  0
 3 files changed, 31 insertions(+), 2 deletions(-)
 create mode 100644 modelchecker/sokoban.h

diff --git a/modelchecker/Makefile b/modelchecker/Makefile
index 1bdebb8..ab740f9 100644
--- 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
--- 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
index 0000000..e69de29
-- 
2.20.1