========================================= iSATLibrary-1.0.4 installation ========================================= The procedure below is the case of using glueminisat. (1) $ cd src/glueminisat-2.2.5 (2) Run “build_linux.sh” (for linux) or “build_mac.sh” (for mac), (3) Move generated library file(“libglueminisat225.so.1.0.0”) into /usr/local/lib/ (4) $ cd /usr/local/lib/ (5) $ ln -s libglueminisat225.so.1.0.0 libglueminisat.so (.dylib for mac) (6) $ sudo ldconfig (for linux only) ========================================= iSATLibrary-1.0.4 usage ========================================= sample programs are in iSATLibrary-1.0.4/examples/ . (GCP.java) $ javac -cp ../iSATLibrary-1.0.4.jar:../jna-4.3.0.jar GCP.java $ java -cp .:../iSATLibrary-1.0.4.jar:../jna-4.3.0.jar GCP (Langford.java) $ javac -cp ../iSATLibrary-1.0.4.jar:../jna-4.3.0.jar Langford.java $ java -cp .:../iSATLibrary-1.0.4.jar:../jna-4.3.0.jar Langford 8 (Waerden.java) $ javac -cp ../iSATLibrary-1.0.4.jar:../jna-4.3.0.jar Waerden.java $ java -cp .:../iSATLibrary-1.0.4.jar:../jna-4.3.0.jar Waerden 3 3 8 ========================================= iSugar-1.1.0 installation ========================================= iSugar is a SAT-based constraint solver based Sugar, which can use incremental SAT solving using iSATLibrary. (1) cd iSugar (2) ./build ========================================= iSugar-1.1.0 usage example ========================================= iSugar can solve not only CSP/COP but also enumeration solutions and Hamiltonian Cycle Problem(※) and MaxCSP. (Solving CSP/COP) $ java -cp ..:../../jna-4.3.0.jar:../../sugar-v2-3-2.jar iSugar.Main -solver glueminisat xxx.csp(.csp file) (Enumerate Solution) $ java -cp ..:../../jna-4.3.0.jar:../../sugar-v2-3-2.jar iSugar.Main —all -solver glueminisat xxx.csp(.csp file) (Solve Hamiltonian Cycle Problem) $ java -cp ..:../../jna-4.3.0.jar:../../sugar-v2-3-2.jar iSugar.Main —hcp -solver glueminisat xxx.col(.col file) (Solving MaxCSP) $ java -cp ..:../../jna-4.3.0.jar:../../sugar-v2-3-2.jar iSugar.Main -max -solver glueminisat xxx.csp(.csp file) For more information, please run “java -cp ..:../../jna-4.3.0.jar:../../sugar-v2-3-2.jar iSugar.Main -help”. (※) When solving HCP, input format of problem file is COLOR04 (http://mat.gsia.cmu.edu/COLOR04/).