erwincoumans bd5c2ff5ec batching reports the size of the batches, and solver uses this as termination condition, giving a good speedup

2014-02-07 06:28:15 -08:00

15 KiB

Raw Blame History

View Raw