Программы http://www.sqakki.com/Constraint/