| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| sudoku2.1.jar | 2023-04-15 15:50 | 435K | ||
| sudoku-v20090213.jar | 2023-04-15 15:50 | 701K | ||
| sudoku-2.2.jar | 2023-04-15 15:50 | 465K | ||
| sudoku-1.0.jar | 2023-04-15 15:50 | 413K | ||
| sat4jcsp.jar | 2023-04-15 15:50 | 1.0M | ||
| sat4jPseudoTer.jar | 2023-04-15 15:50 | 205K | ||
| sat4j.pdf | 2023-04-15 15:50 | 80K | ||
| sat4j.jar | 2023-04-15 15:50 | 97K | ||
| sat4j-src.jar | 2023-04-15 15:50 | 3.3M | ||
| sat4j-sat2007.jar | 2023-04-15 15:50 | 1.2M | ||
| sat4j-sat4j-sat-v201..> | 2023-04-15 15:50 | 839K | ||
| sat4j-sat4j-sat-v201..> | 2023-04-15 15:50 | 823K | ||
| sat4j-sat4j-sat-v201..> | 2023-04-15 15:50 | 753K | ||
| sat4j-sat4j-sat-v201..> | 2023-04-15 15:50 | 577K | ||
| sat4j-sat4j-sat-v201..> | 2023-04-15 15:50 | 516K | ||
| sat4j-sat4j-sat-v201..> | 2023-04-15 15:50 | 514K | ||
| sat4j-sat4j-sat-v201..> | 2023-04-15 15:50 | 514K | ||
| sat4j-sat4j-sat-v200..> | 2023-04-15 15:50 | 347K | ||
| sat4j-sat4j-sat-v200..> | 2023-04-15 15:50 | 347K | ||
| sat4j-sat-v20090312.zip | 2023-04-15 15:50 | 345K | ||
| sat4j-sat-2.0rc1.jar | 2023-04-15 15:50 | 404K | ||
| sat4j-rc7.zip | 2023-04-15 15:50 | 1.2M | ||
| sat4j-pos12.tgz | 2023-04-15 15:50 | 708K | ||
| sat4j-pb.jar | 2023-04-15 15:50 | 722K | ||
| sat4j-pb-v20130525.zip | 2023-04-15 15:50 | 930K | ||
| sat4j-pb-v20130419.zip | 2023-04-15 15:50 | 737K | ||
| sat4j-pb-v20130209.zip | 2023-04-15 15:50 | 712K | ||
| sat4j-pb-v20120709.zip | 2023-04-15 15:50 | 661K | ||
| sat4j-pb-v20111030.zip | 2023-04-15 15:50 | 635K | ||
| sat4j-pb-v20110329.zip | 2023-04-15 15:50 | 553K | ||
| sat4j-pb-v20101225.zip | 2023-04-15 15:50 | 491K | ||
| sat4j-pb-v20101017.zip | 2023-04-15 15:50 | 481K | ||
| sat4j-pb-v20100823.zip | 2023-04-15 15:50 | 478K | ||
| sat4j-pb-v20100623.zip | 2023-04-15 15:50 | 476K | ||
| sat4j-pb-v20090826.zip | 2023-04-15 15:50 | 205K | ||
| sat4j-pb-v20090520.zip | 2023-04-15 15:50 | 203K | ||
| sat4j-pb-v20090425.zip | 2023-04-15 15:50 | 205K | ||
| sat4j-pb-v20090410.zip | 2023-04-15 15:50 | 200K | ||
| sat4j-pb-v20090312.zip | 2023-04-15 15:50 | 204K | ||
| sat4j-pb-v20090228.zip | 2023-04-15 15:50 | 193K | ||
| sat4j-pb-v20090205.zip | 2023-04-15 15:50 | 180K | ||
| sat4j-pb-v20081103.zip | 2023-04-15 15:50 | 175K | ||
| sat4j-pb-v20081021.zip | 2023-04-15 15:50 | 177K | ||
| sat4j-pb-v20080806.zip | 2023-04-15 15:50 | 177K | ||
| sat4j-pb-v20080622.zip | 2023-04-15 15:50 | 174K | ||
| sat4j-pb-v20080602.zip | 2023-04-15 15:50 | 176K | ||
| sat4j-pb-v20080509.zip | 2023-04-15 15:50 | 172K | ||
| sat4j-pb-rc5.src.zip | 2023-04-15 15:50 | 106K | ||
| sat4j-pb-2.0rc1.jar | 2023-04-15 15:50 | 214K | ||
| sat4j-mus-v20130419.jar | 2023-04-15 15:50 | 257K | ||
| sat4j-mus-v20130209.jar | 2023-04-15 15:50 | 246K | ||
| sat4j-mus-v20120709.jar | 2023-04-15 15:50 | 220K | ||
| sat4j-mus-v20111030.jar | 2023-04-15 15:50 | 201K | ||
| sat4j-mus-v20110206.jar | 2023-04-15 15:50 | 188K | ||
| sat4j-mus-v20110120.jar | 2023-04-15 15:50 | 184K | ||
| sat4j-mus-v20110109.jar | 2023-04-15 15:50 | 188K | ||
| sat4j-maxsat.jar | 2023-04-15 15:50 | 275K | ||
| sat4j-maxsat-v201305..> | 2023-04-15 15:50 | 593K | ||
| sat4j-maxsat-v201304..> | 2023-04-15 15:50 | 450K | ||
| sat4j-maxsat-v201302..> | 2023-04-15 15:50 | 435K | ||
| sat4j-maxsat-v201207..> | 2023-04-15 15:50 | 395K | ||
| sat4j-maxsat-v201110..> | 2023-04-15 15:50 | 379K | ||
| sat4j-maxsat-v201103..> | 2023-04-15 15:50 | 351K | ||
| sat4j-maxsat-v201103..> | 2023-04-15 15:50 | 349K | ||
| sat4j-maxsat-v201012..> | 2023-04-15 15:50 | 323K | ||
| sat4j-maxsat-v201010..> | 2023-04-15 15:50 | 316K | ||
| sat4j-maxsat-v201008..> | 2023-04-15 15:50 | 314K | ||
| sat4j-maxsat-v201006..> | 2023-04-15 15:50 | 315K | ||
| sat4j-maxsat-v200908..> | 2023-04-15 15:50 | 291K | ||
| sat4j-maxsat-v200905..> | 2023-04-15 15:50 | 289K | ||
| sat4j-maxsat-v200904..> | 2023-04-15 15:50 | 289K | ||
| sat4j-maxsat-v200904..> | 2023-04-15 15:50 | 284K | ||
| sat4j-maxsat-v200903..> | 2023-04-15 15:50 | 290K | ||
| sat4j-maxsat-v200902..> | 2023-04-15 15:50 | 271K | ||
| sat4j-maxsat-v200811..> | 2023-04-15 15:50 | 265K | ||
| sat4j-maxsat-v200810..> | 2023-04-15 15:50 | 269K | ||
| sat4j-maxsat-2.0rc1.jar | 2023-04-15 15:50 | 229K | ||
| sat4j-intervalorders..> | 2023-04-15 15:50 | 254K | ||
| sat4j-csp.jar | 2023-04-15 15:50 | 1.2M | ||
| sat4j-csp-v20130419.zip | 2023-04-15 15:50 | 1.5M | ||
| sat4j-csp-v20130209.zip | 2023-04-15 15:50 | 1.5M | ||
| sat4j-csp-v20121105.zip | 2023-04-15 15:50 | 1.5M | ||
| sat4j-csp-2.0rc1.jar | 2023-04-15 15:50 | 1.0M | ||
| sat4j-core-v20130525..> | 2023-04-15 15:50 | 647K | ||
| sat4j-core-v20130419..> | 2023-04-15 15:50 | 567K | ||
| sat4j-core-v20130209..> | 2023-04-15 15:50 | 554K | ||
| sat4j-core-v20120709..> | 2023-04-15 15:50 | 496K | ||
| sat4j-core-v20111030..> | 2023-04-15 15:50 | 433K | ||
| sat4j-core-v20110329..> | 2023-04-15 15:50 | 406K | ||
| sat4j-core-v20110206..> | 2023-04-15 15:50 | 403K | ||
| sat4j-core-v20101225..> | 2023-04-15 15:50 | 376K | ||
| sat4j-core-v20101017..> | 2023-04-15 15:50 | 370K | ||
| sat4j-core-v20100823..> | 2023-04-15 15:50 | 366K | ||
| sat4j-core-v20100623..> | 2023-04-15 15:50 | 375K | ||
| sat4j-core-v20090826..> | 2023-04-15 15:50 | 357K | ||
| sat4j-core-v20090520..> | 2023-04-15 15:50 | 354K | ||
| sat4j-core-v20090425..> | 2023-04-15 15:50 | 352K | ||
| sat4j-core-v20090410..> | 2023-04-15 15:50 | 348K | ||
| sat4j-core-v20090312..> | 2023-04-15 15:50 | 351K | ||
| sat4j-core-v20090228..> | 2023-04-15 15:50 | 347K | ||
| sat4j-core-v20090205..> | 2023-04-15 15:50 | 350K | ||
| sat4j-core-v20081103..> | 2023-04-15 15:50 | 341K | ||
| sat4j-core-v20081021..> | 2023-04-15 15:50 | 348K | ||
| sat4j-core-v20080806..> | 2023-04-15 15:50 | 348K | ||
| sat4j-core-v20080622..> | 2023-04-15 15:50 | 344K | ||
| sat4j-core-v20080602..> | 2023-04-15 15:50 | 346K | ||
| sat4j-core-v20080509..> | 2023-04-15 15:50 | 338K | ||
| sat4j-core-rc5.src.zip | 2023-04-15 15:50 | 232K | ||
| sat4j-core-2.0rc1.jar | 2023-04-15 15:50 | 154K | ||
| sat4j-17rc2.jar | 2023-04-15 15:50 | 468K | ||
| sat4j-17rc2-src.jar | 2023-04-15 15:50 | 302K | ||
| sat4j-2.0RC2.zip | 2023-04-15 15:50 | 1.0M | ||
| sat4j-2.0RC2-fixed.zip | 2023-04-15 15:50 | 1.2M | ||
| sat4j-2.0-rc8.zip | 2023-04-15 15:50 | 1.5M | ||
| sat4j-2.0-RC6.zip | 2023-04-15 15:50 | 1.6M | ||
| sat4j-2.0-RC5.zip | 2023-04-15 15:50 | 1.2M | ||
| sat4j-2.0-RC3.zip | 2023-04-15 15:50 | 1.2M | ||
| sat4j-1.7.jar | 2023-04-15 15:50 | 1.2M | ||
| sat4j-1.7-src.jar | 2023-04-15 15:50 | 316K | ||
| sat4j-1.7-nojs.jar | 2023-04-15 15:50 | 586K | ||
| sat4j-1.7-nojs-nocom..> | 2023-04-15 15:50 | 340K | ||
| sat4j-1.6_01.jar | 2023-04-15 15:50 | 427K | ||
| sat4j-1.6_01-src.jar | 2023-04-15 15:50 | 202K | ||
| sat4j-1.6.jar | 2023-04-15 15:50 | 427K | ||
| sat4j-1.6-src.jar | 2023-04-15 15:50 | 202K | ||
| sat4j-1.5_01.jar | 2023-04-15 15:50 | 347K | ||
| sat4j-1.5_01-src.jar | 2023-04-15 15:50 | 157K | ||
| sat4j-1.5.jar | 2023-04-15 15:50 | 347K | ||
| sat4j-1.5-src.jar | 2023-04-15 15:50 | 157K | ||
| pb2010submission.zip | 2023-04-15 15:50 | 508K | ||
| org.sat4j.pb-src.jar | 2023-04-15 15:50 | 105K | ||
| org.sat4j.pb-src-rc7..> | 2023-04-15 15:50 | 107K | ||
| org.sat4j.core-src.jar | 2023-04-15 15:50 | 221K | ||
| org.sat4j.core-src-r..> | 2023-04-15 15:50 | 221K | ||
| getting-started-sat4..> | 2023-04-15 15:50 | 142K | ||
| getting-started-sat4..> | 2023-04-15 15:50 | 113K | ||
| detectcards.tgz | 2023-04-15 15:50 | 598K | ||
| casestudies-v2011051..> | 2023-04-15 15:50 | 243K | ||
| build.xml | 2023-04-15 15:52 | 3.6K | ||
| build-2.4.xml | 2023-04-15 15:52 | 9.2K | ||
| build-2.2.xml | 2023-04-15 15:52 | 8.8K | ||
| build-2.1.xml | 2023-04-15 15:52 | 6.8K | ||
| build-1.5.xml | 2023-04-15 15:52 | 5.8K | ||
| build-1.4.xml | 2023-04-15 15:52 | 5.6K | ||
| build-1.3.xml | 2023-04-15 15:52 | 4.7K | ||
| build-1.2.xml | 2023-04-15 15:52 | 4.9K | ||
| build-1.1.xml | 2023-04-15 15:52 | 4.2K | ||
| Sat4jMaxsatBresilFMC..> | 2023-04-15 15:50 | 410K | ||
| MiniLearning2.tgz | 2023-04-15 15:50 | 150K | ||