added trapstate to prune
running some more tests
improving reports on the CUT(E) algorithm
correcting strategy construction within opposit...
trying to adapt oppositeGR solution to state sp...
Adding tests for Opposite GR Game Solver, corre...
added some base cases to test opposite gr
Correction on the way the assumption satisfying...