Dependencies of property-prover

Package Dependencies filepath filepath base base filepath->base queue queue random random queue->random queue->base directory directory directory->filepath time time directory->time directory->base read-legacy read-legacy read-legacy->base wl-pprint wl-pprint wl-pprint->queue wl-pprint->base currypath currypath currypath->filepath currypath->directory io-extra io-extra currypath->io-extra execpath execpath currypath->execpath propertyfile propertyfile currypath->propertyfile currypath->base containers containers containers->random containers->base process process process->base transformers transformers transformers->base abstract-curry abstract-curry abstract-curry->filepath abstract-curry->directory abstract-curry->read-legacy abstract-curry->wl-pprint abstract-curry->currypath frontend-exec frontend-exec abstract-curry->frontend-exec abstract-curry->base string-trie string-trie string-trie->containers profiling profiling string-trie->profiling string-trie->base random->time random->base det-parse det-parse det-parse->base socket socket socket->base io-extra->directory io-extra->process io-extra->base flatcurry flatcurry flatcurry->filepath flatcurry->directory flatcurry->read-legacy flatcurry->wl-pprint flatcurry->currypath flatcurry->transformers flatcurry->time flatcurry->frontend-exec xml xml flatcurry->xml rw-data rw-data flatcurry->rw-data redblacktree redblacktree flatcurry->redblacktree flatcurry->profiling flatcurry->base execpath->filepath execpath->directory execpath->base extra extra extra->base time->base scc scc scc->redblacktree scc->base rewriting rewriting rewriting->containers rewriting->transformers rewriting->abstract-curry rewriting->base frontend-exec->filepath frontend-exec->currypath frontend-exec->process frontend-exec->propertyfile frontend-exec->base xml->base rw-data->directory rw-data->read-legacy rw-data->containers rw-data->process rw-data->string-trie rw-data->profiling rw-data->base redblacktree->random redblacktree->base propertyfile->directory propertyfile->base json json json->wl-pprint json->det-parse json->base cpm-query cpm-query cpm-query->filepath cpm-query->directory cpm-query->currypath cpm-query->process cpm-query->socket cpm-query->io-extra cpm-query->flatcurry cpm-query->execpath cpm-query->base profiling->base smtlib-solver smtlib-solver smtlib-solver->wl-pprint smtlib-solver->io-extra smtlib-solver->extra smtlib smtlib smtlib-solver->smtlib smtlib-solver->base smtlib->filepath smtlib->directory smtlib->wl-pprint smtlib->containers smtlib->time smtlib->base showflatcurry showflatcurry showflatcurry->filepath showflatcurry->directory showflatcurry->wl-pprint showflatcurry->currypath showflatcurry->process showflatcurry->flatcurry showflatcurry->base flatcurry-type-annotated flatcurry-type-annotated flatcurry-type-annotated->filepath flatcurry-type-annotated->directory flatcurry-type-annotated->read-legacy flatcurry-type-annotated->currypath flatcurry-type-annotated->containers flatcurry-type-annotated->transformers flatcurry-type-annotated->flatcurry flatcurry-type-annotated->extra flatcurry-type-annotated->scc flatcurry-type-annotated->rewriting flatcurry-type-annotated->frontend-exec flatcurry-annotated flatcurry-annotated flatcurry-type-annotated->flatcurry-annotated flatcurry-type-annotated->base flatcurry-annotated->filepath flatcurry-annotated->directory flatcurry-annotated->wl-pprint flatcurry-annotated->currypath flatcurry-annotated->flatcurry flatcurry-annotated->base flatcurry-smt flatcurry-smt flatcurry-smt->base contracts contracts contracts->flatcurry contracts->base cass cass cass->filepath cass->directory cass->currypath cass->containers cass->process cass->socket cass->io-extra cass->flatcurry cass->execpath cass->time cass->scc cass->xml cass->rw-data cass->redblacktree cass->propertyfile cass->json cass->cpm-query cass-analysis cass-analysis cass->cass-analysis cass->base cass-analysis->filepath cass-analysis->directory cass-analysis->currypath cass-analysis->containers cass-analysis->flatcurry cass-analysis->time cass-analysis->scc cass-analysis->rw-data cass-analysis->profiling cass-analysis->base property-prover property-prover property-prover->filepath property-prover->directory property-prover->wl-pprint property-prover->currypath property-prover->containers property-prover->process property-prover->transformers property-prover->io-extra property-prover->flatcurry property-prover->execpath property-prover->frontend-exec property-prover->rw-data property-prover->profiling property-prover->smtlib-solver property-prover->smtlib property-prover->showflatcurry property-prover->flatcurry-type-annotated property-prover->flatcurry-annotated property-prover->flatcurry-smt property-prover->contracts property-prover->cass property-prover->cass-analysis property-prover->base