-void initialize_conflicts PARAMS ((void));
-void print_conflicts PARAMS ((void));
-void print_reductions PARAMS ((int));
-void finalize_conflicts PARAMS ((void));
+void conflicts_solve PARAMS ((void));
+void conflicts_print PARAMS ((void));
+int conflicts_total_count PARAMS ((void));
+void conflicts_output PARAMS ((FILE *out));
+void conflicts_free PARAMS ((void));