Comment by kiernan

Could it write a deterministic constraint solving program that at least gives it a head start at narrowing down options?