Index of /sat4j

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