Data shown here is incomplete. This page will refresh with updates pulled from star-exec.
Solver-Info of "CoFloCo+ ITS and C preprocessing final version"
view original solver-info on star-exec:
9105
| Name: |
CoFloCo+ ITS and C preprocessing final version |
| Description: |
CoFloCo is an open source static analysis tool written in prolog to infer automatically symbolic complexity upper and lower bounds of imperative and recursive programs. It analyzed programs represented as cost relations that can be generated from a variety of languages.
Webpage:
https://github.com/aeflores/CoFloCo |
| Last Update from Star-Exec: |
2017-08-14 18:23:04.126361 UTC |