describe a feature to test drive CSP solver