aeflores/CoFloCo aeflores/CoFloCo

  • Stars
    star
    16
  • Rank 1,311,288 (Top 26 %)
  • Language
    Prolog
  • License
    GNU General Publi...
  • Created almost 10 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
aeflores/CoFloCo
github

aeflores

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive programs.

More Repositories

1

libehp

fork of https://git.zephyr-software.com/opensrc/libehp
C++
1
star