Tetravex solver