:- use_module(cdtools(ccs_problem_cd)).
:- use_module(cdtools(ccs_schema_support_cd)).

cdex_options([format=imp,
	      axiom_types=auto_imp,
	      gen=Gen],
	     Opts) :-
	memberchk(problem=Problem, Opts),
	ccs_problem(Problem, _, _, [axiom_arities=As]),
	numbers_maximum(As, AMax),
	findall(S, ( between(1, AMax, N),
		     between(0, AMax, M),
		     binres_schema(N, M, S)
		   ; between(2, AMax, N),
		     between(2, N, K),
		     shuffle_schema(N, K, S)
		   ),
		Gen),
	pp(gen(Gen)), nl.