CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive programs.
Primary LanguagePrologGNU General Public License v3.0GPL-3.0