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