vrichthammer
Results
1
comments of
vrichthammer
Suggestion: The new logger should also record the time required for the encoding (generating constraints, preprocessing, etc), since the contribution of this setup time to the total DSE time is...