A symbolic constraint satisfaction system.