Managed Projects
Mlpost
M
No analysis available
Mlpost is an OCaml library for scientific drawing. It allows, in particular, inclusion of LaTeX fragments.
Mostly written in language not available
Licenses:
lgpl21le
CVC4
Analyzed about 16 hours 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.
Licenses:
BSD-3-Clause