Index of /sat4j
Name Last modified Size Description
Parent Directory -
sat4j-src.jar 20-Dec-2007 02:51 3.3M
sat4j-2.0-RC6.zip 04-Apr-2008 22:33 1.6M
sat4j-2.0-rc8.zip 30-Apr-2008 21:18 1.5M
sat4j-csp-v20130419.zip 19-Apr-2013 14:29 1.5M
sat4j-csp-v20130209.zip 09-Feb-2013 12:09 1.5M
sat4j-csp-v20121105.zip 05-Nov-2012 15:09 1.5M
sat4j-1.7.jar 20-Dec-2007 02:51 1.2M
sat4j-rc7.zip 21-Apr-2008 23:22 1.2M
sat4j-2.0-RC5.zip 08-Mar-2008 09:42 1.2M
sat4j-2.0-RC3.zip 20-Feb-2008 17:22 1.2M
sat4j-2.0RC2-fixed.zip 02-Jan-2008 12:37 1.2M
sat4j-sat2007.jar 20-Dec-2007 02:51 1.2M
sat4j-csp.jar 22-Jun-2009 22:24 1.2M
sat4jcsp.jar 13-Jun-2008 16:59 1.0M
sat4j-2.0RC2.zip 02-Jan-2008 11:40 1.0M
sat4j-csp-2.0rc1.jar 20-Dec-2007 02:51 1.0M
sat4j-pb-v20130525.zip 25-May-2013 22:31 930K
sat4j-sat4j-sat-v20130419.zip 19-Apr-2013 14:28 839K
sat4j-sat4j-sat-v20130209.zip 09-Feb-2013 12:10 823K
sat4j-sat4j-sat-v20120709.zip 09-Jul-2012 17:04 753K
sat4j-pb-v20130419.zip 19-Apr-2013 14:31 737K
sat4j-pb.jar 13-Apr-2018 13:16 722K
sat4j-pb-v20130209.zip 09-Feb-2013 12:07 712K
sat4j-pos12.tgz 30-Apr-2012 17:57 708K
sudoku-v20090213.jar 13-Feb-2009 20:41 701K
sat4j-pb-v20120709.zip 09-Jul-2012 17:02 661K
sat4j-core-v20130525.zip 25-May-2013 22:30 647K
sat4j-pb-v20111030.zip 30-Oct-2011 11:44 635K
detectcards.tgz 15-Jul-2014 12:15 598K
sat4j-maxsat-v20130525.zip 25-May-2013 22:32 593K
sat4j-1.7-nojs.jar 20-Dec-2007 02:51 586K
sat4j-sat4j-sat-v20111030.zip 30-Oct-2011 11:46 577K
sat4j-core-v20130419.zip 19-Apr-2013 14:32 567K
sat4j-core-v20130209.zip 09-Feb-2013 12:05 554K
sat4j-pb-v20110329.zip 29-Mar-2011 10:04 553K
sat4j-sat4j-sat-v20101017.zip 17-Oct-2010 16:12 516K
sat4j-sat4j-sat-v20100623.zip 23-Jun-2010 22:59 514K
sat4j-sat4j-sat-v20100823.zip 23-Aug-2010 23:10 514K
pb2010submission.zip 09-Jul-2010 06:32 508K
sat4j-core-v20120709.zip 09-Jul-2012 17:01 496K
sat4j-pb-v20101225.zip 25-Dec-2010 21:21 491K
sat4j-pb-v20101017.zip 17-Oct-2010 15:55 481K
sat4j-pb-v20100823.zip 23-Aug-2010 23:07 478K
sat4j-pb-v20100623.zip 23-Jun-2010 22:53 476K
sat4j-17rc2.jar 20-Dec-2007 02:51 468K
sudoku-2.2.jar 08-Mar-2008 08:20 465K
sat4j-maxsat-v20130419.zip 19-Apr-2013 14:30 450K
sudoku2.1.jar 20-Dec-2007 02:51 435K
sat4j-maxsat-v20130209.zip 09-Feb-2013 12:07 435K
sat4j-core-v20111030.zip 30-Oct-2011 11:43 433K
sat4j-1.6.jar 20-Dec-2007 02:51 427K
sat4j-1.6_01.jar 20-Dec-2007 02:51 427K
sudoku-1.0.jar 20-Dec-2007 02:51 413K
Sat4jMaxsatBresilFMCAD13.zip 04-Jun-2013 22:37 410K
sat4j-core-v20110329.zip 29-Mar-2011 10:03 406K
sat4j-sat-2.0rc1.jar 20-Dec-2007 02:51 404K
sat4j-core-v20110206.zip 06-Feb-2011 23:00 403K
sat4j-maxsat-v20120709.zip 09-Jul-2012 17:03 395K
sat4j-maxsat-v20111030.zip 30-Oct-2011 11:45 379K
sat4j-core-v20101225.zip 25-Dec-2010 21:20 376K
sat4j-core-v20100623.zip 23-Jun-2010 22:47 375K
sat4j-core-v20101017.zip 17-Oct-2010 15:52 370K
sat4j-core-v20100823.zip 23-Aug-2010 23:05 366K
sat4j-core-v20090826.zip 14-Sep-2009 22:36 357K
sat4j-core-v20090520.zip 20-May-2009 23:19 354K
sat4j-core-v20090425.zip 26-Apr-2009 00:08 352K
sat4j-maxsat-v20110329.zip 29-Mar-2011 10:05 351K
sat4j-core-v20090312.zip 12-Mar-2009 22:39 351K
sat4j-core-v20090205.zip 05-Feb-2009 12:00 350K
sat4j-maxsat-v20110327.zip 27-Mar-2011 23:23 349K
sat4j-core-v20090410.zip 10-Apr-2009 22:26 348K
sat4j-core-v20081021.zip 21-Oct-2008 15:50 348K
sat4j-core-v20080806.zip 06-Aug-2008 14:09 348K
sat4j-core-v20090228.zip 28-Feb-2009 21:55 347K
sat4j-1.5.jar 20-Dec-2007 02:51 347K
sat4j-1.5_01.jar 20-Dec-2007 02:51 347K
sat4j-sat4j-sat-v20090425.zip 26-Apr-2009 00:12 347K
sat4j-sat4j-sat-v20090520.zip 20-May-2009 23:22 347K
sat4j-core-v20080602.zip 02-Jun-2008 23:41 346K
sat4j-sat-v20090312.zip 12-Mar-2009 23:04 345K
sat4j-core-v20080622.zip 22-Jun-2008 18:39 344K
sat4j-core-v20081103.zip 03-Nov-2008 10:14 341K
sat4j-1.7-nojs-nocommons.jar 20-Dec-2007 02:51 340K
sat4j-core-v20080509.zip 09-May-2008 10:18 338K
sat4j-maxsat-v20101225.zip 25-Dec-2010 21:23 323K
sat4j-1.7-src.jar 20-Dec-2007 02:51 316K
sat4j-maxsat-v20101017.zip 17-Oct-2010 15:57 316K
sat4j-maxsat-v20100623.zip 23-Jun-2010 22:56 315K
sat4j-maxsat-v20100823.zip 23-Aug-2010 23:08 314K
sat4j-17rc2-src.jar 20-Dec-2007 02:51 302K
sat4j-maxsat-v20090826.zip 14-Sep-2009 22:39 291K
sat4j-maxsat-v20090312.zip 12-Mar-2009 22:50 290K
sat4j-maxsat-v20090425.zip 26-Apr-2009 00:11 289K
sat4j-maxsat-v20090520.zip 20-May-2009 23:21 289K
sat4j-maxsat-v20090410.zip 10-Apr-2009 22:35 284K
sat4j-maxsat.jar 06-Aug-2008 14:07 275K
sat4j-maxsat-v20090205.zip 05-Feb-2009 12:07 271K
sat4j-maxsat-v20081026.zip 26-Oct-2008 15:56 269K
sat4j-maxsat-v20081103.zip 03-Nov-2008 10:16 265K
sat4j-mus-v20130419.jar 19-Apr-2013 14:27 257K
sat4j-intervalorders-v20090707.zip 07-Jul-2009 22:36 254K
sat4j-mus-v20130209.jar 09-Feb-2013 12:11 246K
casestudies-v20110511.pdf 11-May-2011 22:12 243K
sat4j-core-rc5.src.zip 08-Mar-2008 19:16 232K
sat4j-maxsat-2.0rc1.jar 20-Dec-2007 02:51 229K
org.sat4j.core-src-rc7.jar 21-Apr-2008 23:23 221K
org.sat4j.core-src.jar 04-Apr-2008 22:34 221K
sat4j-mus-v20120709.jar 09-Jul-2012 17:05 220K
sat4j-pb-2.0rc1.jar 20-Dec-2007 02:51 214K
sat4jPseudoTer.jar 20-Dec-2007 02:51 205K
sat4j-pb-v20090826.zip 14-Sep-2009 22:38 205K
sat4j-pb-v20090425.zip 26-Apr-2009 00:10 205K
sat4j-pb-v20090312.zip 12-Mar-2009 22:43 204K
sat4j-pb-v20090520.zip 20-May-2009 23:20 203K
sat4j-1.6_01-src.jar 20-Dec-2007 02:51 202K
sat4j-1.6-src.jar 20-Dec-2007 02:51 202K
sat4j-mus-v20111030.jar 30-Oct-2011 11:45 201K
sat4j-pb-v20090410.zip 10-Apr-2009 22:29 200K
sat4j-pb-v20090228.zip 28-Feb-2009 21:57 193K
sat4j-mus-v20110206.jar 06-Feb-2011 22:59 188K
sat4j-mus-v20110109.jar 09-Jan-2011 21:28 188K
sat4j-mus-v20110120.jar 20-Jan-2011 15:48 184K
sat4j-pb-v20090205.zip 05-Feb-2009 12:06 180K
sat4j-pb-v20081021.zip 21-Oct-2008 15:53 177K
sat4j-pb-v20080806.zip 06-Aug-2008 14:08 177K
sat4j-pb-v20080602.zip 02-Jun-2008 23:42 176K
sat4j-pb-v20081103.zip 03-Nov-2008 10:17 175K
sat4j-pb-v20080622.zip 22-Jun-2008 18:40 174K
sat4j-pb-v20080509.zip 09-May-2008 10:23 172K
sat4j-1.5-src.jar 20-Dec-2007 02:51 157K
sat4j-1.5_01-src.jar 20-Dec-2007 02:51 157K
sat4j-core-2.0rc1.jar 20-Dec-2007 02:51 154K
MiniLearning2.tgz 20-Dec-2007 02:51 150K
getting-started-sat4j-0.3.pdf 16-Nov-2010 14:54 142K
getting-started-sat4j-0.2.pdf 18-Oct-2010 10:26 113K
org.sat4j.pb-src-rc7.jar 21-Apr-2008 23:24 107K
sat4j-pb-rc5.src.zip 08-Mar-2008 19:16 106K
org.sat4j.pb-src.jar 04-Apr-2008 22:34 105K
sat4j.jar 20-Dec-2007 02:51 97K
sat4j.pdf 27-Sep-2010 09:34 80K
build-2.4.xml 14-Mar-2008 20:42 9.2K
build-2.2.xml 02-Jan-2008 15:03 8.8K
build-2.1.xml 20-Dec-2007 02:51 6.8K
build-1.5.xml 20-Dec-2007 02:51 5.8K
build-1.4.xml 20-Dec-2007 02:51 5.6K
build-1.2.xml 20-Dec-2007 02:51 4.9K
build-1.3.xml 20-Dec-2007 02:51 4.9K
build-1.1.xml 20-Dec-2007 02:51 4.2K
build.xml 20-Dec-2007 02:51 3.6K
Apache/2.2.22 (Debian) Server at dllegacy.ow2.org Port 443