Location: LEMON/LEMON-main/NEWS
Load file history
deba@inf.elte.hu
Reorganize header files (Ticket #97)
In addition on some places the DefaultMap<G, K, V> is replaced with
ItemSetTraits<G, K>::template Map<V>::Type, to decrease the dependencies
of different tools. It is obviously better solution.