[vitamin.benchmarks]
ATL = model_checker.algorithms.explicit.ATL.ATL:model_checking
ATLF = model_checker.algorithms.explicit.ATLF.ATLF:model_checking
COTL = model_checker.algorithms.explicit.COTL.COTL:model_checking
CTL = model_checker.algorithms.explicit.CTL.CTL:model_checking
CapATL = model_checker.algorithms.explicit.CapATL.CapATL:model_checking
IATL = model_checker.algorithms.explicit.IATL.IATL:model_checking
ICTL = model_checker.algorithms.explicit.ICTL.ICTL:model_checking
LTL = model_checker.algorithms.explicit.LTL.LTL:model_checking
NatATL = model_checker.algorithms.explicit.NatATL.Memoryless.NatATL:model_checking
NatATLF = model_checker.algorithms.explicit.NatATLF.NatATL:model_checking
NatATL_Recall = model_checker.algorithms.explicit.NatATL.Recall.natatl_recall:model_checking
NatSL_Alternated = model_checker.algorithms.explicit.NatSL.Alternated.natSL:model_checking
NatSL_Sequential = model_checker.algorithms.explicit.NatSL.Sequential.natSL:model_checking
OATL = model_checker.algorithms.explicit.OATL.OATL:model_checking
OL = model_checker.algorithms.explicit.OL.OL:model_checking
RABATL = model_checker.algorithms.explicit.RABATL.RABATL:model_checking
RBATL = model_checker.algorithms.explicit.RBATL.RBATL:model_checking
TCTL = model_checker.algorithms.explicit.TCTL.TCTL:model_checking
TOL = model_checker.algorithms.explicit.TOL.TOL:model_checking
Wallet_ATL = model_checker.algorithms.explicit.Wallet_ATL.Wallet_ATL:model_checking

[vitamin.metadata]
ATL = model_checker.parsers.formulas.ATL:METADATA
ATLF = model_checker.parsers.formulas.ATLF:METADATA
COTL = model_checker.parsers.formulas.OATL:METADATA
CTL = model_checker.parsers.formulas.CTL:METADATA
CapATL = model_checker.parsers.formulas.CapATL:METADATA
IATL = model_checker.parsers.formulas.IATL:METADATA
ICTL = model_checker.parsers.formulas.ICTL:METADATA
LTL = model_checker.parsers.formulas.LTL:METADATA
NatATL = model_checker.parsers.formulas.NatATL:METADATA
NatATLF = model_checker.parsers.formulas.NatATLF:METADATA
NatATL_Recall = model_checker.parsers.formulas.NatATL:METADATA
NatSL = model_checker.parsers.formulas.NatSL:METADATA
NatSL_Alternated = model_checker.parsers.formulas.NatSL:METADATA
NatSL_Sequential = model_checker.parsers.formulas.NatSL:METADATA
OATL = model_checker.parsers.formulas.OATL:METADATA
OL = model_checker.parsers.formulas.OL:METADATA
RABATL = model_checker.parsers.formulas.RABATL:METADATA
RBATL = model_checker.parsers.formulas.RBATL:METADATA
TCTL = model_checker.parsers.formulas.TCTL:METADATA
TOL = model_checker.parsers.formulas.TOL:METADATA
Wallet_ATL = model_checker.parsers.formulas.Wallet_ATL:METADATA

[vitamin.models]
BCGS = model_checker.parsers.game_structures.bcgs.bcgs:BCGS
CGS = model_checker.parsers.game_structures.cgs.cgs:CGS
WalletCGS = model_checker.parsers.game_structures.wallet_cgs.wallet_cgs:WalletCGS
capCGS = model_checker.parsers.game_structures.cap_cgs.cap_cgs:CapCGS
costCGS = model_checker.parsers.game_structures.cost_cgs.cost_cgs:CostCGS
timedCGS = model_checker.parsers.game_structures.timed_cgs.timed_cgs:TimedCGS

[vitamin.parsers]
ATL = model_checker.parsers.formulas.ATL.parser:ATLParser
ATLF = model_checker.parsers.formulas.ATLF.parser:ATLFParser
COTL = model_checker.parsers.formulas.OATL.parser:COTLParser
CTL = model_checker.parsers.formulas.CTL.parser:CTLParser
CapATL = model_checker.parsers.formulas.CapATL.parser:CapATLParser
IATL = model_checker.parsers.formulas.IATL.parser:IATLParser
ICTL = model_checker.parsers.formulas.ICTL.parser:ICTLParser
LTL = model_checker.parsers.formulas.LTL.parser:LTLParser
NatATL = model_checker.parsers.formulas.NatATL.parser:NatATLParser
NatATLF = model_checker.parsers.formulas.NatATLF.parser:NatATLFParser
NatATL_Recall = model_checker.parsers.formulas.NatATL.parser:NatATLParser
NatSL = model_checker.parsers.formulas.NatSL.parser:NatSLParser
NatSL_Alternated = model_checker.parsers.formulas.NatSL.parser:NatSLParser
NatSL_Sequential = model_checker.parsers.formulas.NatSL.parser:NatSLParser
OATL = model_checker.parsers.formulas.OATL.parser:OATLParser
OL = model_checker.parsers.formulas.OL.parser:OLParser
RABATL = model_checker.parsers.formulas.RABATL.parser:RABATLParser
RBATL = model_checker.parsers.formulas.RBATL.parser:RBATLParser
TCTL = model_checker.parsers.formulas.TCTL.parser:TCTLParser
TOL = model_checker.parsers.formulas.TOL.parser:TOLParser
Wallet_ATL = model_checker.parsers.formulas.Wallet_ATL.parser:Wallet_ATLParser
