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