#pragma once
#include "Utils/Utils.h"
#include "Utils/Platform.h"
#include "OS/Types.h"
#include "Core/Storm.h"

namespace code {

	// Use some types from Storm here as well.
	using namespace storm;
}
