Managed Projects

Mlpost

  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
4.5
   
I Use This
Mostly written in language not available
Licenses: lgpl21le

CVC4

  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
5.0
 
I Use This