Add script that checks that all solutions are consistent.