mirror of
https://github.com/arnaucube/arbo.git
synced 2026-01-18 02:51:29 +01:00
AddBatch in CaseD, is parallelized (for each CPU) until almost the top level, almost dividing the needed time by the number of CPUs.
15 KiB
15 KiB