tictactoe.java

Java版的SAT求解器

package positronic.satisfiability.demos;

import positronic.satisfiability.boardgame.twodimensional.Board;
import positronic.satisfiability.boardgame.twodimensional.twoplayer.Game;

public class TicTacToe
{
	public static void main(String[] args)
	{
		Board board=new Board(3,3);
		Game ttt=new Game();
		//X is played by the black pieces
		ttt.createBlackPieces(5);
		//O is played by the white pieces
		ttt.createWhitePieces(5);
		
	}

}