Index of /sat4j

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