Dependencies of ccti

Package Dependencies directory directory filepath filepath directory->filepath time time directory->time base base directory->base process process process->base queue queue random random queue->random queue->base containers containers containers->random containers->base filepath->base time->base extra extra extra->base io-extra io-extra io-extra->directory io-extra->process io-extra->base wl-pprint wl-pprint wl-pprint->queue wl-pprint->base xml xml xml->base transformers transformers transformers->base rw-data rw-data rw-data->containers read-legacy read-legacy rw-data->read-legacy rw-data->base redblacktree redblacktree redblacktree->random redblacktree->base read-legacy->base profiling profiling profiling->base frontend-exec frontend-exec frontend-exec->process frontend-exec->filepath propertyfile propertyfile frontend-exec->propertyfile currypath currypath frontend-exec->currypath frontend-exec->base random->time random->base propertyfile->directory propertyfile->base execpath execpath execpath->directory execpath->filepath execpath->base smtlib-solver smtlib-solver smtlib-solver->extra smtlib-solver->io-extra smtlib-solver->wl-pprint smtlib smtlib smtlib-solver->smtlib smtlib-solver->base smtlib->directory smtlib->containers smtlib->filepath smtlib->time smtlib->wl-pprint smtlib->base flatcurry-annotated flatcurry-annotated flatcurry-annotated->directory flatcurry-annotated->filepath flatcurry-annotated->wl-pprint flatcurry flatcurry flatcurry-annotated->flatcurry flatcurry-annotated->currypath flatcurry-annotated->base flatcurry->directory flatcurry->filepath flatcurry->time flatcurry->wl-pprint flatcurry->xml flatcurry->transformers flatcurry->rw-data flatcurry->redblacktree flatcurry->read-legacy flatcurry->profiling flatcurry->frontend-exec flatcurry->currypath flatcurry->base finite-map finite-map finite-map->random finite-map->base currypath->directory currypath->filepath currypath->io-extra currypath->propertyfile currypath->execpath currypath->base ccti ccti ccti->wl-pprint ccti->frontend-exec ccti->smtlib-solver ccti->smtlib ccti->flatcurry-annotated ccti->flatcurry ccti->finite-map ccti->currypath ccti->base