Advanced - Powered by Google


   
Log In
New Account
  
 
Home
My Page
Project Tree
Project Openings
SAT4J
          
 
 
Summary
Forums
Lists
Tasks
Docs
Surveys
News
CVS
Files
SVN
                    
 

Below is a list of all files of the project. Before downloading, you may want to read Release Notes and ChangeLog (accessible by clicking on release version).

PackageFilenameDate
Size (Ko)ArchType

documentation Monitor this package

 
  case studies preview1  2011-05-11
casestudies-v20110511.pdf248.5Anypdf
  0.3  2010-11-16
getting-started-sat4j-0.3.pdf145.6i386pdf
  0.2  2010-10-18
getting-started-sat4j-0.2.pdf115.5i386pdf
  0.1  2010-09-27
sat4j.pdf82.3i386pdf

Interval Orders Aggregator Monitor this package

 
  alpha  2009-07-05
sat4j-intervalorders-v20090707.zip259.7Any.zip

sat4j core Monitor this package

 
  2.3.5  2013-05-25
sat4j-core-v20130525.zip662.2Any.zip
  2.3.4  2013-04-19
sat4j-core-v20130419.zip580.6Any.zip
  2.3.3  2013-02-09
sat4j-core-v20130209.zip567.3Any.zip
  2.3.2  2012-07-09
sat4j-core-v20120709.zip507.4Any.zip
  2.3.1  2011-10-30
sat4j-core-v20111030.zip443.4Any.zip
  2.3.0  2011-03-29
sat4j-core-v20110329.zip416.1Any.zip
  SAT 2011 Competition  2011-02-06
sat4j-core-v20110206.zip412.4Any.zip
  2.2.3  2010-12-25
sat4j-core-v20101225.zip385.0Any.zip
  2.2.2  2010-10-17
sat4j-core-v20101017.zip378.7Any.zip
  2.2.1  2010-08-23
sat4j-core-v20100823.zip375.1Any.zip
  2.2.0  2010-06-23
sat4j-core-v20100623.zip383.9Any.zip
  2.1.1  2009-09-14
sat4j-core-v20090826.zip366.0Any.zip
  2.1 final  2009-05-20
sat4j-core-v20090520.zip363.0Any.zip
  2.1 RC4  2009-04-26
sat4j-core-v20090425.zip360.3Any.zip
  2.1 RC3  2009-04-10
sat4j-core-v20090410.zip356.2Any.zip
  2.1 RC2  2009-03-12
sat4j-core-v20090312.zip359.7Any.zip
  2.1 RC1  2009-02-27
sat4j-core-v20090228.zip355.8Any.zip
  2.0.5  2009-02-05
sat4j-core-v20090205.zip358.4Any.zip
  2.0.4  2008-10-31
sat4j-core-v20081103.zip348.8Any.zip
  2.0.3  2008-10-21
sat4j-core-v20081021.zip356.0Any.zip
  2.0.2  2008-08-05
sat4j-core-v20080806.zip355.9Any.zip
  2.0.1  2008-06-22
sat4j-core-v20080622.zip351.9Any.zip
  2.0.0 final  2008-05-29
sat4j-core-v20080602.zip354.2Any.zip
  2.0.0.v20080509  2008-05-09
sat4j-core-v20080509.zip346.6Any.zip

sat4j csp Monitor this package

 
  2.3.4  2013-04-19
sat4j-csp-v20130419.zip1,595.6Any.zip
  2.3.3  2013-02-09
sat4j-csp-v20130209.zip1,579.4Any.zip
  OPC 2012 v1  2012-11-05
sat4j-csp-v20121105.zip1,576.7Any.zip
  CSP Competition 2009  2009-06-22
sat4j-csp.jar1,209.2Any.zip
  CSP COMPETITION 2008  2008-06-13
sat4jcsp.jar1,083.2Any.zip

sat4j maxsat Monitor this package

 
  2.3.5  2013-05-25
sat4j-maxsat-v20130525.zip607.2Any.zip
  FMCAD13 BRESIL  2013-05-22
Sat4jMaxsatBresilFMCAD13.zip420.1Any.zip
  2.3.4  2013-04-19
sat4j-maxsat-v20130419.zip460.4Any.zip
  2.3.3  2013-02-09
sat4j-maxsat-v20130209.zip445.0Any.zip
  2.3.2  2012-07-09
sat4j-maxsat-v20120709.zip404.1Any.zip
  2.3.0  2011-03-29
sat4j-maxsat-v20110329.zip359.7AnySource .zip
  MAXSAT 2011 submission  2011-03-27
sat4j-maxsat-v20110327.zip357.0Any.zip
  2.2.3  2010-12-25
sat4j-maxsat-v20101225.zip331.2Any.zip
  2.2.2  2010-10-17
sat4j-maxsat-v20101017.zip323.7Any.zip
  2.2.1  2010-08-23
sat4j-maxsat-v20100823.zip321.7Any.zip
  2.2.0  2010-06-23
sat4j-maxsat-v20100623.zip322.4Any.zip
  2.1.1  2009-09-14
sat4j-maxsat-v20090826.zip298.0Any.zip
  2.1 final  2009-05-20
sat4j-maxsat-v20090520.zip295.7Any.zip
  2.1 RC4  2009-04-25
sat4j-maxsat-v20090425.zip295.8Any.zip
  2.1 RC3  2009-04-10
sat4j-maxsat-v20090410.zip290.4Any.zip
  2.1 RC2  2009-03-12
sat4j-maxsat-v20090312.zip297.1Any.zip
  2.0.5  2009-02-05
sat4j-maxsat-v20090205.zip277.3Any.zip
  2.0.4  2008-11-01
sat4j-maxsat-v20081103.zip271.2Any.zip
  2.0.3  2008-10-26
sat4j-maxsat-v20081026.zip275.0Any.zip
  2.0.2  2008-08-05
sat4j-maxsat.jar281.7Any.zip

sat4j MUS Monitor this package

 
  2.3.4  2013-04-19
sat4j-mus-v20130419.jar263.5Any.zip
  2.3.3  2013-02-09
sat4j-mus-v20130209.jar252.2Any.zip
  2.3.2  2012-07-09
sat4j-mus-v20120709.jar225.0Any.zip
  2.3.1  2011-10-30
sat4j-mus-v20111030.jar205.8Any.zip
  SAT 2011 Competition  2011-02-06
sat4j-mus-v20110206.jar192.3Any.zip
  0.2  2011-01-20
sat4j-mus-v20110120.jar188.7Any.zip
  0.1  2011-01-09
sat4j-mus-v20110109.jar192.2AnyOther

sat4j pseudo Monitor this package

 
  DETECT CARDINALITIES SAT 2014  2014-07-15
detectcards.tgz612.7Any.tgz
  2.3.5  2013-05-25
sat4j-pb-v20130525.zip951.9Any.zip
  2.3.4  2013-04-19
sat4j-pb-v20130419.zip755.0Any.zip
  2.3.3  2013-02-09
sat4j-pb-v20130209.zip728.8Any.zip
  2.3.2  2012-07-09
sat4j-pb-v20120709.zip676.6Any.zip
  2.3.0  2011-03-29
sat4j-pb-v20110329.zip566.3Any.zip
  2.2.3  2010-12-25
sat4j-pb-v20101225.zip503.1Any.zip
  2.2.2  2010-10-17
sat4j-pb-v20101017.zip493.0Any.zip
  2.2.1  2010-08-23
sat4j-pb-v20100823.zip489.9Any.zip
  2.2.0  2010-06-23
pb2010submission.zip520.1Any.zip
sat4j-pb-v20100623.zip487.9Any.zip
  2.1.1  2009-09-14
sat4j-pb-v20090826.zip209.5Any.zip
  2.1 final  2009-05-20
sat4j-pb-v20090520.zip208.0Any.zip
  2.1 RC4  2009-04-26
sat4j-pb-v20090425.zip209.5Any.zip
  2.1 RC3  2009-04-10
sat4j-pb-v20090410.zip204.5Any.zip
  2.1 RC2  2009-03-12
sat4j-pb-v20090312.zip209.1Any.zip
  2.1 RC1  2009-02-27
sat4j-pb-v20090228.zip197.6Any.zip
  2.0.5  2009-02-05
sat4j-pb-v20090205.zip184.1Any.zip
  2.0.4  2008-11-01
sat4j-pb-v20081103.zip179.2Any.zip
  2.0.3  2008-10-21
sat4j-pb-v20081021.zip181.4Any.zip
  2.0.2  2008-08-05
sat4j-pb-v20080806.zip180.8Any.zip
  2.0.1  2008-06-22
sat4j-pb-v20080622.zip178.1Any.zip
  2.0.0 final  2008-05-29
sat4j-pb-v20080602.zip180.5Any.zip
  2.0.0.v20080509  2008-05-09
sat4j-pb-v20080509.zip176.5Any.zip

sat4j sat Monitor this package

 
  2.3.4  2013-04-19
sat4j-sat4j-sat-v20130419.zip859.5Any.zip
  2.3.3  2013-02-09
sat4j-sat4j-sat-v20130209.zip843.1Any.zip
  2.3.2  2012-07-09
sat4j-sat4j-sat-v20120709.zip770.9Any.zip
  POS 2012  2012-04-30
sat4j-pos12.tgz724.8Any.zip
  2.3.1  2011-10-30
sat4j-sat4j-sat-v20111030.zip591.3Any.zip
  2.2.2  2010-10-17
sat4j-sat4j-sat-v20101017.zip528.1Any.zip
  2.2.1  2010-08-23
sat4j-sat4j-sat-v20100823.zip525.9Any.zip
  2.2.0  2010-06-23
sat4j-sat4j-sat-v20100623.zip526.2Any.zip
  2.1 final  2009-05-20
sat4j-sat4j-sat-v20090520.zip355.3Any.zip
  2.1 RC4  2009-04-25
sat4j-sat4j-sat-v20090425.zip355.3Any.zip
  2.1 RC2  2009-03-12
sat4j-sat-v20090312.zip353.3Any.zip

sudoku Monitor this package

 
  2.2+  2009-02-13
sudoku-v20090213.jar718.2Any.zip
  2.2  2008-03-08
sudoku-2.2.jar476.7AnyOther
  2.1  2006-10-13
sudoku2.1.jar445.3AnyOther
  1.0  2006-02-08
sudoku-1.0.jar423.4AnyOther

x sat4j (for archive purpose ) Monitor this package

 
  1.7  2007-08-30
sat4j-1.7.jar1,301.1AnyOther
sat4j-1.7-nojs.jar600.5AnyOther
sat4j-1.7-nojs-nocommons.jar348.3AnyOther
sat4j-1.7-src.jar323.7AnyOther Source File
  SAT COMPETITION 2007  2007-01-31
sat4j-sat2007.jar1,221.7AnyOther
  1.6_01  2006-06-15
sat4j-1.6_01.jar437.4AnyOther
sat4j-1.6_01-src.jar207.1AnyOther Source File
  1.6  2006-06-05
sat4j-1.6.jar437.7AnyOther
sat4j-1.6-src.jar206.9AnyOther Source File
  1.5_01 (build 1.0.6)  2005-12-31
sat4j-1.5_01.jar355.6AnyOther
sat4j-1.5_01-src.jar160.5AnyOther Source File
  1.5  2005-11-29
sat4j-1.5.jar355.6AnyOther
sat4j-1.5-src.jar160.5AnyOther Source File
  PB 05 EVALUATION  2005-07-22
sat4jPseudoTer.jar209.7AnyOther
  SAT COMPETITION 2005  2005-02-23
MiniLearning2.tgz153.9AnySource .tgz
  1.0  2004-12-02
sat4j.jar99.2AnyOther
sat4j-src.jar3,435.0AnyOther Source File

x utils (for archive purpose) Monitor this package

 
  2.1  2007-11-17
build-2.1.xml6.9AnyOther Source File
  1.5  2007-04-23
build-1.5.xml6.0AnyOther

Project totals

11011953,903 

Copyright © 1999-2008, OW2 Consortium | contact | You have a difficulty, a problem ? Please report an issue using your OW2 forge account credentials