I am really enjoying this challenging puzzle game! It gives me something different than picross puzzles to think about!
It would be great if we could set a checkpoint in the game when we start making an assumption. Then if it does not work we could revert back to this point.
It is otherwise challenging to keep track of where the assumption was made and I end up restarting the whole puzzle... I am hoping for an update;)