Sudojong demo

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

It would be nice to release a new Sudoku demo together with the next 
release of SAT4J.

I worked a bit on the GUI some weeks ago, together with Ivor Spence, but 
the resulting code hasn't been tested much.

If some of you have time to play with the Sudojong demo (Sudoku game 
with Mahjong tiles), that would help polishing the demo.

To build the demo, just save the enclosed build file in an empty 
directory and type:

ant -f ivor.xml sudoku

(you are supposed to have ant installed, else install it following 
ant.apache.org directions).

Then,
java -jar sudoku.jar
should launch the demo.

There is still an initial frame size problem with the Mahjong tiles.

Else you should be able to use the right button of your mouse to select 
a value, or to use your mouse wheel to scroll then in a given cell.

I suggest that you reply to that message to report problems, or that you 
use the bug tracker
http://forge.objectweb.org/tracker/?atid=350289&group_id=228&func=browse

Enjoy!

   Daniel
<project name="sat4j" default="all">
	<!-- user/password settings for FTP, WWW, local settings -->
	<!-- the property report.dir MUST DE DEFINED here -->
	<!-- other properties -->
	<property name="projname" value="core"/>
	<property name="build" value="bin" />
	<property name="lib" value="${projname}/lib" />
	<property name="doc" value="api" />

	<target name="pseudo">
		<echo>Building Pseudo Boolean Solver</echo>
		<property name="package" value="${projname}"/>
		<property name="src" value="${projname}/src" />
		<property name="jarname" value="sat4jPseudo"/>
		<property name="mainclass" value="org.sat4j.LanceurPseudo2005"/>
		<antcall target="build"/>
	</target>

        <target name="maxsat">
		<echo>Building MAXSAT Solver</echo>
		<property name="package" value="${projname}"/>
		<property name="src" value="${projname}/src" />
		<property name="jarname" value="sat4jMaxsat"/>
		<property name="mainclass" value="org.sat4j.GenericOptLauncher"/>
		<antcall target="build"/>
	</target>

	<target name="csp">
		<echo>Building CSP Solver</echo>
		<property name="package" value="${projname}"/>
		<property name="src" value="${projname}/src" />
		<property name="jarname" value="sat4jCSP"/>
		<property name="mainclass" value="org.sat4j.CSPLauncher"/>
		<antcall target="build"/>
	</target>

	<target name="sat">
		<echo>Building Default SAT Solvers</echo>
		<property name="package" value="${projname}"/>
		<property name="src" value="${projname}/src" />
			<property name="jarname" value="sat4j"/>
			<property name="mainclass" value="org.sat4j.Lanceur"/>
		<antcall target="build"/>
	</target>

	<target name="sudoku" depends="sat">
		<echo>Building Sudoku app ${java.home}</echo>
		<echo>Looking for the latest version of the sudoku source code on ObjectWeb forge</echo>
<!--
		<cvs cvsRoot=":pserver:anonymous@xxxxxxxxxxxxxxxxxxxxxxx/cvsroot/sat4j"
						 package="sudoku"
					   dest="." />
-->
		<antcall target="build">
			<param name="package" value="sudoku"/>
			<param name="src" value="sudoku/src"/>
                        <param name="lib" value="sudoku/lib"/>
			<param name="jarname" value="sudoku"/>
			<param name="mainclass" value="org.sat4j.apps.sudoku.SDApplication"/>
		</antcall>
	</target>

	<target name="prepare">
		<!-- Create the time stamp -->
		<tstamp/>
		<echo>Creating build and doc directories</echo>
		<mkdir dir="${build}" />
		<mkdir dir="${doc}" />
	</target>

	<path id="somePath">
		<pathelement location="${build}"/>
		<fileset dir="${lib}">
			<include name="*.jar"/>
		</fileset>
		<pathelement location="${java.home}/lib/javaws.jar"/> 
	</path>

	<target name="javadoc">
		<echo>Generating Javodoc</echo>
		<javadoc destdir="${doc}" 
				 access="public" 
				 source="1.5" 
				 use="true" 
				 notree="false" 
				 nonavbar="false" 
				 noindex="false" 
				 splitindex="true" 
				 author="true" 
				 version="true" 
				 nodeprecatedlist="false" 
				 nodeprecated="false" 
				 packagenames="org.sat4j.*,org.sat4j.spec.*,org.sat4j.core.*,org.sat4j.minisat.*,org.sat4j.minisat.core.*,org.sat4j.minisat.constraints.*,org.sat4j.minisat.constraints.cnf.*"
				 sourcepath="${src}" 
				 overview="${src}/overview.html" 
				 doctitle="SAT4J: a SATisfiability library for Java">
				 <classpath refid="somePath"/>
		</javadoc>
	</target>

	<target name="build" depends="prepare,getsource">
		<echo>Compiling source code ${src}</echo>
		<javac
		srcdir="${src}"
		destdir="${build}"
		source="1.5"
	>
			<classpath refid="somePath"/>
		</javac>
		<copy file="${src}/${jarname}.version" todir="${build}" failonerror="false"/>
		<copy todir="${build}" failonerror="false">
			<fileset dir="${src}">
				<include name="**/*.properties"/>
				<include name="**/*.png"/>
				<include name="**/*.gif"/>
				<include name="**/*.jpg"/> 
				<include name="**/*.js"/>
			</fileset>
		</copy>

		<jar destfile="${jarname}.jar" basedir="${build}">
			<manifest>
				<attribute name="Built-By" value="Daniel Le Berre"/>
				<attribute name="Main-Class" value="${mainclass}"/>
				<attribute name="Specification-Title" value="SAT4J"/>
				<attribute name="Specification-Version" value="1.5+"/>
				<attribute name="Specification-Vendor"
						   value="Daniel Le Berre"
				 />
				<attribute name="Implementation-Title" value="SAT4J"/>
				<attribute name="Implementation-Version" value="NA "/>
				<attribute name="Implementation-Vendor"
						   value="CRIL-CNRS FRE 2499"
				 />
			</manifest>
			<zipgroupfileset dir="${lib}">
                           <include name="commons*.jar"/>
			   <include name="jlf*.jar"/>
			   <include name="csp*.jar"/>
			   <include name="js.jar"/>
                        </zipgroupfileset>
		</jar>
	</target>
		
	<target name="getsource">
		<echo>Looking for the latest version of the source code on ObjectWeb forge</echo>
		<cvs cvsRoot=":pserver:anonymous@xxxxxxxxxxxxxxxxxxxxxxx/cvsroot/sat4j"
			package="${package}"
				dest="."
			  />
	</target>
	<target name="all"
				depends="sat,javadoc"
			>
			<echo>
	You just built SAT4J from CVS. 
	The code might not be in a very good shape.
	You should take a look at http://www.sat4j.org/junit/ 
	to check that the functional tests are ok. 
	Use that snapshot at your own risk! :-=)
	^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
	Please fill bug reports and feature requests at 
	http://forge.objectweb.org/tracker/?group_id=228
					</echo>
		</target>
	<!--
	<target name="anthill"
			depends="build,javadoc,jdepend,checkstyle,tests,publish"/>
	-->
	<target name="clean">
		<!-- Delete the ${build} and ${dist} directory trees -->
		<delete dir="${build}" />
		<delete dir="${doc}" />
	</target>

</project>