Commit b7e64b49 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[cmd][lib] Ooops; Fix reload of solutions previously computed...

parent 5b782dbd
......@@ -149,6 +149,7 @@ def get_dimacs_start_properties(mcla, previous_frontier_places):
)
for frontier_places in previous_frontier_places
]
return dimacs_start
def search_entry_point(
......
......@@ -685,7 +685,7 @@ class MCLAnalyser(object):
# mac_list = [] # Not used anymore
# Keep a list of frontier values to be banned in the next search
forbidden_frontier_values = []
forbidden_frontier_values = query.dim_start
# Satisfiability test
reachable = self.sq_is_satisfiable(query, max_user_step)
......
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