Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[DIR]](/icons/folder.gif){kind=icon}
csv/ 2018-08-10 15:41 -
datastructures/ 2024-10-12 21:50 -
scc/ 2021-11-18 10:43 -
simplifier/ 2018-05-29 20:16 -
statistics/ 2024-11-21 13:59 -
![[TXT]](/icons/text.gif){kind=icon}
ArithmeticUtils.java 2023-03-16 09:31 5.0K
BFSIterator.java 2023-04-04 09:06 3.5K
CombinatoricsUtils.java 2018-04-05 15:06 3.0K
ConstructionCache.java 2021-07-12 09:30 3.8K
CoreUtil.java 2023-10-31 23:12 29K
DfsBookkeeping.java 2022-01-13 10:57 6.8K
HashUtils.java 2021-01-15 13:27 6.5K
HistogramOfIterable.java 2022-03-18 09:53 3.9K
InCaReCounter.java 2021-11-18 10:43 2.6K
Lazy.java 2022-11-09 20:47 2.0K
LazyInt.java 2021-11-18 10:43 1.9K
LexicographicCounter.java 2016-09-30 17:19 2.6K
ReflectionUtil.java 2021-11-18 10:43 26K
ScopeUtils.java 2016-09-06 13:51 3.8K
TgfBuilder.java 2021-02-19 15:38 3.8K
TransitiveClosure.java 2018-06-28 18:16 5.7K
VMUtils.java 2017-11-16 06:20 2.9K