Probabilistic programming in Python
ECLiPSe Constraint Logic Programming System
Constructing and optimizing general mathematical and physical models
simulated annealing optimization and importance-sampling
Database ERD- design tool with Reverse Engineering
Free software for generating understandable and accurate fuzzy systems