Do not use vectors indexed by Pterms' ids in LASolver#500

Open

blishko wants to merge 4 commits intomasterfrom

Commits on May 25, 2022

LASolver: Avoid vectors with large gaps
Martin Blicha
committed
Remove redundant method
Martin Blicha
committed
LASolver: Use map instead of sparse vector to remember atom-to-bounds mapping
Martin Blicha
committed
LASolver: Use mtl's Map instead of std::unoredered_map
Martin Blicha
committed