Learn non-deterministic balanced play with solvers.