Tools

NEW

CPP 2019 version of formalized ground confluence tool

IWC

IWC 2018 version of formalized ground confluence tool

FORT

FORT as GCR decision tool

CSI

CSI with (G)CR decision procedure for ground TRSs

*-600

tools with 600s timeout

Results