To build, execute

		./FastDownward/build.py debug64 -j4
		
	the 32 builds don't work right
	the -j4 is optional and just tells the program to use 4 cores for building if it can

To run, execute

		./FastDownward/fast-downward.py --build=debug64 example_domain.pddl example_problem.pddl --search "sddsearch()"
		
	replace example_domain and example_problem with whatever .pddl you want
	sddsearch takes parameters, those being
		verbose [true, false]:
			If true, you get tons of useless information spammed to stdout
		order [balanced, left, right, vertical]
			What tree structure to use (see my Thesis chapter 5)
		orderType [simple, primedlast, densedomains]
			Me derping around with variable orders, but they never were a focus of this thesis so just stick to simple (default).
		Defaults are: "sddsearch(verbose=false,order=balanced,ordertype=simple)"