CVS log for sat4j/core/src/org/sat4j/Attic/LanceurPseudo2005.java |
 |
|
Up to [OW2-CVS] / sat4j / core / src / org / sat4j
Request diff between arbitrary revisions
/ Display revisions graphically
Default branch: MAIN
Bookmark a link to:
HEAD
/
(download)
Revision 1.35
, Thu Sep 13 08:06:44 2007 UTC (4 years, 8 months ago) by leberre
Branch:
MAIN
CVS Tags:
RELEASE_2_0_RC2,
PASCAL_SNAPSHOT_TWO,
INTEGRATION_P2,
HEAD,
BEFORE_EPL_HEADERS
Changes since 1.34: +0 -0 lines
FILE REMOVED
Removed CSP and PB related code for the 2.0 release.
Revision
1.34
/
(view)
- annotate
- [select for diffs]
, Tue Aug 28 13:07:44 2007 UTC (4 years, 8 months ago) by leberre
Branch:
MAIN
CVS Tags:
RELEASE_1_7
Changes since 1.33: +1 -1 lines
Diff to previous 1.33
Moved ObjectiveFunction class to package org.sat4j.opt to break a cycle between opt and reader packages.
Revision
1.33
/
(view)
- annotate
- [select for diffs]
, Tue Aug 28 10:36:29 2007 UTC (4 years, 8 months ago) by leberre
Branch:
MAIN
Changes since 1.32: +1 -1 lines
Diff to previous 1.32
Fixed generics warning.
Revision
1.32
/
(view)
- annotate
- [select for diffs]
, Wed Jul 4 14:03:59 2007 UTC (4 years, 10 months ago) by leberre
Branch:
MAIN
Changes since 1.31: +1 -1 lines
Diff to previous 1.31
Fixed learning scheme. Refactored existing classes.
Revision
1.31
/
(view)
- annotate
- [select for diffs]
, Mon Jun 11 08:59:33 2007 UTC (4 years, 11 months ago) by leberre
Branch:
MAIN
Changes since 1.30: +1 -1 lines
Diff to previous 1.30
Uses the merging rule by default.
Revision
1.30
/
(view)
- annotate
- [select for diffs]
, Fri Mar 23 14:57:10 2007 UTC (5 years, 1 month ago) by leberre
Branch:
MAIN
Changes since 1.29: +1 -1 lines
Diff to previous 1.29
Used Generics to prevent the use of downcasting in the code.
See http://www.javaspecialists.eu/archive/newsletter.do?issue=123&print=yes&locale=en_US for details.
Revision
1.29.4.1
/
(view)
- annotate
- [select for diffs]
, Mon Mar 12 13:19:06 2007 UTC (5 years, 2 months ago) by parrain
Branch:
complete-smallint
Changes since 1.29: +2 -1 lines
Diff to previous 1.29
to next main 1.30
replacing BigInteger by long
Revision
1.27.4.1
/
(view)
- annotate
- [select for diffs]
, Sat Mar 3 16:22:18 2007 UTC (5 years, 2 months ago) by leberre
Branch:
nonlinear
Changes since 1.27: +126 -123 lines
Diff to previous 1.27
to next main 1.28
Added latest files from Anne's email.
Revision
1.29
/
(view)
- annotate
- [select for diffs]
, Fri Feb 23 13:07:13 2007 UTC (5 years, 2 months ago) by parrain
Branch:
MAIN
CVS Tags:
Root_complete-smallint,
Root_MEMORY_EFFICIENT,
MEMORY_EFFICIENT
Branch point for:
complete-smallint
Changes since 1.28: +3 -3 lines
Diff to previous 1.28
change default solver : use cutting planes
Revision
1.28
/
(view)
- annotate
- [select for diffs]
, Fri Feb 23 12:57:45 2007 UTC (5 years, 2 months ago) by parrain
Branch:
MAIN
Changes since 1.27: +3 -1 lines
Diff to previous 1.27
change default solver : use resolution
Revision
1.27
/
(view)
- annotate
- [select for diffs]
, Thu Nov 30 20:17:30 2006 UTC (5 years, 5 months ago) by leberre
Branch:
MAIN
CVS Tags:
SAT_COMPETITION_2007,
Root_nonlinear,
Root_NICE,
RELEASE_1_7_RC_2,
NICE,
CSP_COMPETITION_2006_BUGFIXES_HEAD,
CSP_COMPETITION_2006_BUGFIXES
Branch point for:
nonlinear
Changes since 1.26: +35 -16 lines
Diff to previous 1.26
Fixed copyright headers and indentation/format (asked by Dieter).
Revision
1.26
/
(view)
- annotate
- [select for diffs]
, Tue Oct 3 11:37:04 2006 UTC (5 years, 7 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_112,
OBJECTWEB_1_0_111,
OBJECTWEB_1_0_110,
OBJECTWEB_1_0_109,
OBJECTWEB_1_0_108,
OBJECTWEB_1_0_103,
OBJECTWEB_1_0_102,
OBJECTWEB_1_0_101,
OBJECTWEB_1_0_100
Changes since 1.25: +2 -2 lines
Diff to previous 1.25
Fixed some PMD warnings.
Revision
1.25
/
(view)
- annotate
- [select for diffs]
, Thu Sep 14 18:33:12 2006 UTC (5 years, 8 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_99,
OBJECTWEB_1_0_97
Changes since 1.24: +2 -2 lines
Diff to previous 1.24
Fixed filename selection.
Revision
1.24
/
(view)
- annotate
- [select for diffs]
, Thu Sep 14 18:18:09 2006 UTC (5 years, 8 months ago) by leberre
Branch:
MAIN
Changes since 1.23: +7 -1 lines
Diff to previous 1.23
Added possibility to select the solver to use.
Revision
1.23
/
(view)
- annotate
- [select for diffs]
, Thu Sep 14 07:16:20 2006 UTC (5 years, 8 months ago) by parrain
Branch:
MAIN
Changes since 1.22: +1 -1 lines
Diff to previous 1.22
changement du solveur par d?faut (version incr?mentale)
Revision
1.22
/
(view)
- annotate
- [select for diffs]
, Thu Aug 31 14:54:54 2006 UTC (5 years, 8 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_96,
OBJECTWEB_1_0_91,
OBJECTWEB_1_0_90
Changes since 1.21: +66 -66 lines
Diff to previous 1.21
Fixed memory problem.
Decoding the model directly in a PrintWriter.
Revision
1.21
/
(view)
- annotate
- [select for diffs]
, Thu Aug 31 08:44:47 2006 UTC (5 years, 8 months ago) by parrain
Branch:
MAIN
Changes since 1.20: +66 -66 lines
Diff to previous 1.20
warnings suppressed
Revision
1.20
/
(view)
- annotate
- [select for diffs]
, Thu Aug 24 10:02:33 2006 UTC (5 years, 8 months ago) by leberre
Branch:
MAIN
Changes since 1.19: +1 -1 lines
Diff to previous 1.19
Uses resolution based solver as default.
Revision
1.19
/
(view)
- annotate
- [select for diffs]
, Sun May 28 06:08:46 2006 UTC (5 years, 11 months ago) by leberre
Branch:
MAIN
CVS Tags:
Root_RELEASE_1_6,
RELEASE_1_6_0_0_9,
RELEASE_1_6_0_0_8,
RELEASE_1_6_0_0_7,
RELEASE_1_6_0_0_4,
RELEASE_1_6_0_0_2,
RELEASE_1_6_0_0_10,
RELEASE_1_6,
OBJECTWEB_1_0_89,
OBJECTWEB_1_0_88,
OBJECTWEB_1_0_87,
OBJECTWEB_1_0_86,
OBJECTWEB_1_0_85,
OBJECTWEB_1_0_83,
OBJECTWEB_1_0_82,
OBJECTWEB_1_0_81,
CSP_COMPETITION_2006
Changes since 1.18: +10 -2 lines
Diff to previous 1.18
Ajout d'une heuristique prenant en compte la fonction objectif.
Revision
1.18
/
(view)
- annotate
- [select for diffs]
, Tue May 23 09:02:17 2006 UTC (5 years, 11 months ago) by parrain
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_80,
OBJECTWEB_1_0_79,
OBJECTWEB_1_0_78,
OBJECTWEB_1_0_77,
OBJECTWEB_1_0_76,
OBJECTWEB_1_0_75
Changes since 1.17: +1 -1 lines
Diff to previous 1.17
default solver changed
Revision
1.17
/
(view)
- annotate
- [select for diffs]
, Mon May 22 13:59:08 2006 UTC (5 years, 11 months ago) by parrain
Branch:
MAIN
Changes since 1.16: +1 -1 lines
Diff to previous 1.16
use the new solver
Revision
1.16
/
(view)
- annotate
- [select for diffs]
, Fri Apr 28 06:27:17 2006 UTC (6 years ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_74,
OBJECTWEB_1_0_73,
OBJECTWEB_1_0_72,
OBJECTWEB_1_0_71,
OBJECTWEB_1_0_69,
OBJECTWEB_1_0_68,
OBJECTWEB_1_0_67,
OBJECTWEB_1_0_66,
OBJECTWEB_1_0_65,
OBJECTWEB_1_0_64
Changes since 1.15: +1 -1 lines
Diff to previous 1.15
Made default OPB solver simple cutting plane based reasoning with specific representation for clause/card/PB.
Revision
1.9.2.1
/
(view)
- annotate
- [select for diffs]
, Fri Apr 14 12:17:53 2006 UTC (6 years, 1 month ago) by leberre
Branch:
PBCONSTR
CVS Tags:
PBCONSTR_1_0_13,
PBCONSTR_1_0_11,
PBCONSTR_1_0_10
Changes since 1.9: +3 -2 lines
Diff to previous 1.9
to next main 1.10
Added OPB2006 reader support.
Revision
1.15
/
(view)
- annotate
- [select for diffs]
, Wed Mar 29 20:17:31 2006 UTC (6 years, 1 month ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_62,
OBJECTWEB_1_0_61,
OBJECTWEB_1_0_60,
OBJECTWEB_1_0_59,
OBJECTWEB_1_0_58,
OBJECTWEB_1_0_57,
OBJECTWEB_1_0_56,
OBJECTWEB_1_0_55,
OBJECTWEB_1_0_54,
OBJECTWEB_1_0_53,
OBJECTWEB_1_0_52,
OBJECTWEB_1_0_51,
OBJECTWEB_1_0_50
Changes since 1.14: +1 -1 lines
Diff to previous 1.14
Moved optimization decorators into a specific package.
Revision
1.14
/
(view)
- annotate
- [select for diffs]
, Wed Mar 29 13:47:25 2006 UTC (6 years, 1 month ago) by leberre
Branch:
MAIN
Changes since 1.13: +5 -0 lines
Diff to previous 1.13
Fixed several warnings (serialid and missing @Override).
Revision
1.13
/
(view)
- annotate
- [select for diffs]
, Wed Mar 29 08:07:36 2006 UTC (6 years, 1 month ago) by leberre
Branch:
MAIN
Changes since 1.12: +61 -121 lines
Diff to previous 1.12
Added new Optimization problem architecture, in order to use the same framework to solve max sat problems and pseudo boolean problems.
Revision
1.12
/
(view)
- annotate
- [select for diffs]
, Wed Mar 22 16:20:20 2006 UTC (6 years, 1 month ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_48,
OBJECTWEB_1_0_47,
OBJECTWEB_1_0_46
Changes since 1.11: +2 -1 lines
Diff to previous 1.11
Added a new reader for PB06
Revision
1.11
/
(view)
- annotate
- [select for diffs]
, Sun Mar 19 11:09:24 2006 UTC (6 years, 1 month ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_45
Changes since 1.10: +9 -8 lines
Diff to previous 1.10
fixed non externalizable warnings.
Removed calls to deprecated method.
Revision
1.10
/
(view)
- annotate
- [select for diffs]
, Sun Mar 19 10:59:18 2006 UTC (6 years, 1 month ago) by leberre
Branch:
MAIN
Changes since 1.9: +1 -1 lines
Diff to previous 1.9
Using Pueblo DS with full PB learning by default (instead of clause learning).
Revision
1.9
/
(view)
- annotate
- [select for diffs]
, Fri Mar 10 16:45:53 2006 UTC (6 years, 2 months ago) by salhaji
Branch:
MAIN
CVS Tags:
Root_PBCONSTR,
PBCONSTR_1_0_9,
PBCONSTR_1_0_8,
PBCONSTR_1_0_7,
PBCONSTR_1_0_6,
PBCONSTR_1_0_5,
PBCONSTR_1_0_4,
PBCONSTR_1_0_3,
OBJECTWEB_1_0_44,
OBJECTWEB_1_0_42,
OBJECTWEB_1_0_41,
OBJECTWEB_1_0_40,
OBJECTWEB_1_0_37,
OBJECTWEB_1_0_36,
OBJECTWEB_1_0_35
Branch point for:
PBCONSTR
Changes since 1.8: +15 -14 lines
Diff to previous 1.8
New refactored version of sat4j
Revision
1.8
/
(view)
- annotate
- [select for diffs]
, Mon Mar 6 22:09:00 2006 UTC (6 years, 2 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_32
Changes since 1.7: +103 -103 lines
Diff to previous 1.7
Fixed some PMD bugs.
Revision
1.7
/
(view)
- annotate
- [select for diffs]
, Sat Feb 25 09:04:03 2006 UTC (6 years, 2 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_31,
OBJECTWEB_1_0_30,
OBJECTWEB_1_0_26,
OBJECTWEB_1_0_25,
OBJECTWEB_1_0_24,
OBJECTWEB_1_0_23
Changes since 1.6: +1 -1 lines
Diff to previous 1.6
Uses Pueblo data structure as default one.
Revision
1.6
/
(view)
- annotate
- [select for diffs]
, Sun Feb 19 22:57:27 2006 UTC (6 years, 2 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_20
Changes since 1.5: +1 -1 lines
Diff to previous 1.5
Fixed messages regarding ellapsed wall clock time to meet Olivier's expectations :-=)
Revision
1.5
/
(view)
- annotate
- [select for diffs]
, Mon Feb 6 22:18:26 2006 UTC (6 years, 3 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_19
Changes since 1.4: +13 -3 lines
Diff to previous 1.4
Refactorized the launchers to make them all subclasses of AbstractLauncher.
Revision
1.4
/
(view)
- annotate
- [select for diffs]
, Sun Feb 5 12:17:10 2006 UTC (6 years, 3 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_18,
OBJECTWEB_1_0_17
Changes since 1.3: +5 -6 lines
Diff to previous 1.3
Updated the launcher for the now PB06 requirements.
Revision
1.3
/
(view)
- annotate
- [select for diffs]
, Tue Dec 6 11:54:27 2005 UTC (6 years, 5 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_9,
OBJECTWEB_1_0_8,
OBJECTWEB_1_0_7,
OBJECTWEB_1_0_6,
OBJECTWEB_1_0_15,
OBJECTWEB_1_0_14,
OBJECTWEB_1_0_13,
OBJECTWEB_1_0_11,
OBJECTWEB_1_0_10
Changes since 1.2: +9 -9 lines
Diff to previous 1.2
Improved a bit the way messages are displayed by the launcher.
Revision
1.2
/
(view)
- annotate
- [select for diffs]
, Fri Dec 2 19:33:04 2005 UTC (6 years, 5 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_5,
OBJECTWEB_1_0_4,
OBJECTWEB_1_0_3,
OBJECTWEB_1_0_0
Changes since 1.1: +1 -1 lines
Diff to previous 1.1
Fixed code to mimic exactly RELEASE 1.5
Revision
1.1
/
(view)
- annotate
- [select for diffs]
, Wed Nov 30 09:19:52 2005 UTC (6 years, 5 months ago) by leberre
Branch:
MAIN
Java 1.5 code base including some code from ubcsat port.
This form allows you to request diffs between any two revisions of
a file. You may select a symbolic revision name using the selection
box or you may type in a numeric name using the type-in text box.
Back to OW2 Forge