Managed Projects


  No analysis available

Mlpost is an OCaml library for scientific drawing. It allows, in particular, inclusion of LaTeX fragments.

0 lines of code

0 current contributors

0 since last commit

3 users on Open Hub

Activity Not Available
I Use This
Mostly written in language not available
Licenses: lgpl21le


  Analyzed 1 day ago

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.

387K lines of code

16 current contributors

2 days since last commit

1 users on Open Hub

High Activity
I Use This