OpenNum lets you distribute solvers with a nice graphical interface
PySCeS Constraint Based Modelling
GUI for managing and working with one or more HTCondor pools.
A Library for Interactive Modelling and Visualisation
Python-based GUI for discrete-event system modeling and simulation