A toolkit for developing constraint-based systems and applications