ECLiPSe Constraint Logic Programming System
simulated annealing optimization and importance-sampling
A cross-platform integrated CASE system
Development framework including code generator and UML ex/import
A canvas library for generating technical drawings
Multidocument automation by templates - for sphinx, mkdocs, epydoc ...