Run the appropriate solver on an instance together with the following files:

Linear:
	domain-fd.ez optimize.ez output.ez plan.ez general.ez generate.ez must-semantics.ez refuel.ez

Non-linear:
	domain-nlp.ez optimize.ez output.ez plan.ez general.ez generate.ez must-semantics.ez refuel-nonlin.ez

Clingcon:
	CLINGCON/{domain.con optimize.ez.con output.ez.con plan.ez.con general-conX.ez.con generate.ez.con must-semantics.ez.con refuel.ez.con}
