/***
	@groupdef experimental Experimental Features

	These features are experimental and might significantly change or be removed
	in future versions of MiniZinc.
*/

include "experimental/on_restart.mzn";
