You should also add STOAT (stoat@wrcplc.co.uk) and WEST (
www.hemmis.be) to your list. Ypu may also want to look at SIMBA, which runs under Matlab/Simulin - try
www.ifak.de. These are dynamic models, as are GPS-X and Biowin. SASSPro is simpler and when I last saw it was steady-state, but may have since added dynamic capabilities.
For steady-state modelling you can also consider Plan-It STOAT (stoat@wrcplc.co.uk).
Although not public domain there is the free activated-sludge only program SSSP available at Vlemson - I don't have the web reference, but a searcg on SSSP should find it.
Finally, there is a 'public domain' (actually, GPL) program, SeTS - this runs under SciLab/Scicos. Again, I don't have a web reference for it - I usually relocate it when I am interested by searching for SeTS + SIMBA + GPS-X.
Finally, if you want to roll your own, look for Ascend IV - this gives you a flowsheet solver, but you have to ad your own unit models.