Skip to content
Snippets Groups Projects

Optimization: use std::unordered_map instead of std::map when computing temporary terms

Passed
Sébastien Villemot created pipeline for commit 5a429708
, finished
For master
2 minutes 14 seconds, queued for 33 seconds