v2.6.2

Changed

• Performance improvements:
  • Using HashMap instead of TreeMap for the name/index mappings in MiniSatStyleSolver. Note, this affects the returned map of the method MiniSatStyleSolver#name2idx(). If you rely on the ordering of the returned map, you should use a map that guarantees ordering. E.g. by converting the HashMap to a TreeMap.
  • Prevent unnecessary formula creation in UnsatCoreFunction