Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[DIR]](/icons/folder.gif){kind=icon}
independence/ 2024-11-21 13:59 -
multireduction/ 2022-11-09 20:47 -
visitors/ 2024-06-04 08:50 -
![[TXT]](/icons/text.gif){kind=icon}
CachedPersistentSetChoice.java 2021-11-18 10:43 3.4K
CoenabledRelation.java 2021-04-29 12:23 5.7K
ConstantDfsOrder.java 2021-11-18 10:43 3.0K
CoveringIterator.java 2023-04-04 09:06 5.3K
DepthFirstTraversal.java 2022-10-15 15:54 9.0K
ICompositionFactory.java 2021-04-29 12:23 2.0K
IDfsOrder.java 2021-11-18 10:43 2.3K
IPersistentSetChoice.java 2022-09-12 11:41 3.5K
ISleepSetStateFactory.java 2024-06-04 08:50 4.6K
LiptonReduction.java 2022-11-09 20:47 19K
LiptonReductionStatisticsDefinitions.java 2021-11-18 10:43 3.9K
LiptonReductionStatisticsGenerator.java 2021-04-29 12:23 5.4K
LiptonReductionStatisticsType.java 2021-03-18 11:23 2.0K
MinimalSleepSetReduction.java 2023-12-06 19:42 8.6K
MultiPersistentSetChoice.java 2022-11-09 20:47 3.0K
package-info.java 2022-09-12 11:41 1.5K
PersistentSetReduction.java 2024-06-04 08:50 6.9K
Petri2AutomatonCoveringRelation.java 2022-10-15 15:54 3.5K
SleepSetCoveringRelation.java 2022-10-15 15:54 3.2K