steiner-triples-and-sat-solvers

Update ChessBoard.py with assumptions-based function and finer control over when bits of setup and solve begin (for timing purposes). By default, everything acts the same as before, but with new options.