diff --git a/command_line/cadbiom_cmd/solution_search.py b/command_line/cadbiom_cmd/solution_search.py index d40c3defe302b3d010dea6d0322d7c1641382de0..0d1d756d45f1b4c92da1193e0e3a7b44aeb5feba 100644 --- a/command_line/cadbiom_cmd/solution_search.py +++ b/command_line/cadbiom_cmd/solution_search.py @@ -294,16 +294,6 @@ def find_macs(mcla, .. TODO:: Handle all_macs flag like the old method with find_mac() Not used very often but can be usefull sometimes... - __mac_exhaustive_search, on cherche d´abord des solutions non minimales - (lfsol = self.__sq_dimacs_frontier_solutions(query, nb_step, 2)) - pour ensuite les élaguer en supprimant les places non essentielles à la - satisfiabilité de la propriété - (current_mac = self.__prune_frontier_solution(small_sol, query, nb_step)). - Ce processus récursif est le plus "time-consuming" car nous n´avons pas - le controle sur les solutions fournies par SAT et les solutions non minimales - sont en général très éloignées de la solution minimale, c.-à -d. contiennent - beaucoup plus de places (ces places excédentaires sont dispensables). - :param limit: Limit the number of solutions. :param current_nb_sols: The current number of solutions already found. This number is used to limit the number of searched solutions.