Download page for LibDDD

Our main page is still hosted at lip6 : DDD homepage

Download the latest distribution here : ddd-1.9.0 latest

Developer documentation with Doxygen is published here.

Download the latest artifacts here (result of make install) :

This page and these artifacts are built using GitHub Actions. We thank GitHub for providing hosting and compilation time for these artifacts.

This software is made available under the terms of Gnu LGPL

Contact author : Yann .Thierry-Mieg@lip6.fr