Commit 74bcb390 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain
Browse files


parent 3b010651
...@@ -242,7 +242,7 @@ learn_k_cnf(N) :- ...@@ -242,7 +242,7 @@ learn_k_cnf(N) :-
), ),
remove_subsumed_clauses, remove_subsumed_clauses,
find_max_clause_size(KK, Max), find_max_clause_size(KK, Max),
format('% Maxmimum K used: ~w~n', [Max]), format('% Maximum K used: ~w~n', [Max]),
write_clauses(N, Max). write_clauses(N, Max).
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment