Closed olaure01 closed 3 years ago
Because of an OLlibs issue olaure01/ollibs#5, the execution of the ax_expansion tactic became uselessly long. Here is a cleaned version avoiding in particular this problem.
OLlibs
ax_expansion
Perfect thanks!
Because of an
OLlibs
issue olaure01/ollibs#5, the execution of theax_expansion
tactic became uselessly long. Here is a cleaned version avoiding in particular this problem.