CVS log for sat4j/core/src/org/sat4j/minisat/constraints/pb/Attic/WatchPb.java |
 |
|
Up to [OW2-CVS] / sat4j / core / src / org / sat4j / minisat / constraints / pb
Request diff between arbitrary revisions
/ Display revisions graphically
Default branch: MAIN
Bookmark a link to:
HEAD
/
(download)
Revision 1.27
, Thu Sep 13 08:06:43 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.26: +0 -0 lines
FILE REMOVED
Removed CSP and PB related code for the 2.0 release.
Revision
1.26
/
(view)
- annotate
- [select for diffs]
, Tue Aug 28 14:39:09 2007 UTC (4 years, 8 months ago) by leberre
Branch:
MAIN
CVS Tags:
RELEASE_1_7
Changes since 1.25: +2 -2 lines
Diff to previous 1.25
Fixed Javadoc comments.
Revision
1.25
/
(view)
- annotate
- [select for diffs]
, Tue Aug 28 12:44:53 2007 UTC (4 years, 8 months ago) by leberre
Branch:
MAIN
Changes since 1.24: +4 -5 lines
Diff to previous 1.24
Fixed more javadoc problems.
Revision
1.24
/
(view)
- annotate
- [select for diffs]
, Tue Aug 28 12:07:14 2007 UTC (4 years, 8 months ago) by leberre
Branch:
MAIN
Changes since 1.23: +1 -2 lines
Diff to previous 1.23
Fixed PMD warnings.
Revision
1.23
/
(view)
- annotate
- [select for diffs]
, Tue Apr 10 08:26:26 2007 UTC (5 years, 1 month ago) by parrain
Branch:
MAIN
Changes since 1.22: +8 -0 lines
Diff to previous 1.22
modification when building PB-constraint.
should remove not needed computation.
Revision
1.22
/
(view)
- annotate
- [select for diffs]
, Thu Feb 22 11:42:50 2007 UTC (5 years, 2 months ago) by parrain
Branch:
MAIN
CVS Tags:
complete-smallint,
Root_complete-smallint,
Root_MEMORY_EFFICIENT,
MEMORY_EFFICIENT
Changes since 1.21: +34 -38 lines
Diff to previous 1.21
translate french comments
Revision
1.21
/
(view)
- annotate
- [select for diffs]
, Thu Nov 30 20:17:29 2006 UTC (5 years, 5 months ago) by leberre
Branch:
MAIN
CVS Tags:
nonlinear,
SAT_COMPETITION_2007,
Root_nonlinear,
Root_NICE,
RELEASE_1_7_RC_2,
NICE,
CSP_COMPETITION_2006_BUGFIXES_HEAD,
CSP_COMPETITION_2006_BUGFIXES
Changes since 1.20: +537 -538 lines
Diff to previous 1.20
Fixed copyright headers and indentation/format (asked by Dieter).
Revision
1.20
/
(view)
- annotate
- [select for diffs]
, Mon Sep 25 05:47:58 2006 UTC (5 years, 7 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_99,
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.19: +3 -3 lines
Diff to previous 1.19
Fixed problems reporteed by Dieter von Holten.
Revision
1.19
/
(view)
- annotate
- [select for diffs]
, Wed Aug 23 15:16:43 2006 UTC (5 years, 8 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_97,
OBJECTWEB_1_0_96,
OBJECTWEB_1_0_91,
OBJECTWEB_1_0_90
Changes since 1.18: +1 -1 lines
Diff to previous 1.18
Made MapPb and MapConflict the default implementation in PBSolver.
Revision
1.18
/
(view)
- annotate
- [select for diffs]
, Mon Jul 10 09:11:07 2006 UTC (5 years, 10 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_89,
OBJECTWEB_1_0_88,
CSP_COMPETITION_2006
Changes since 1.17: +2 -1 lines
Diff to previous 1.17
Fixed problems reported by Dieter von Holten.
Revision
1.17
/
(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_87,
OBJECTWEB_1_0_86,
OBJECTWEB_1_0_85,
OBJECTWEB_1_0_83,
OBJECTWEB_1_0_82,
OBJECTWEB_1_0_81
Changes since 1.16: +0 -4 lines
Diff to previous 1.16
Ajout d'une heuristique prenant en compte la fonction objectif.
Revision
1.16
/
(view)
- annotate
- [select for diffs]
, Fri May 26 11:47:49 2006 UTC (5 years, 11 months ago) by parrain
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_80
Changes since 1.15: +0 -6 lines
Diff to previous 1.15
some unused attributes are removed
Revision
1.15
/
(view)
- annotate
- [select for diffs]
, Thu May 25 11:04:54 2006 UTC (5 years, 11 months ago) by parrain
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_79
Changes since 1.14: +2 -3 lines
Diff to previous 1.14
PMD corrections
Revision
1.14
/
(view)
- annotate
- [select for diffs]
, Thu May 25 09:43:18 2006 UTC (5 years, 11 months ago) by parrain
Branch:
MAIN
Changes since 1.13: +2 -2 lines
Diff to previous 1.13
recalcLeftSide() : an assert too strict modified. Each coefficient of a constraint must be >= 0 (and not >0).
Revision
1.13
/
(view)
- annotate
- [select for diffs]
, Thu May 25 09:12:45 2006 UTC (5 years, 11 months ago) by parrain
Branch:
MAIN
Changes since 1.12: +1 -1 lines
Diff to previous 1.12
come back in recalcLeftSide()
Revision
1.12
/
(view)
- annotate
- [select for diffs]
, Thu May 25 06:35:57 2006 UTC (5 years, 11 months ago) by parrain
Branch:
MAIN
Changes since 1.11: +10 -3 lines
Diff to previous 1.11
niceParameters() now call niceCheckedParameters() after some tests.
allow to correct PMD problems.
Revision
1.11
/
(view)
- annotate
- [select for diffs]
, Wed May 24 19:26:08 2006 UTC (5 years, 11 months ago) by parrain
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_78
Changes since 1.10: +5 -10 lines
Diff to previous 1.10
isSatisfiable() and recalcLeftSide() are refactorized
Revision
1.10
/
(view)
- annotate
- [select for diffs]
, Wed May 24 05:45:11 2006 UTC (5 years, 11 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_77,
OBJECTWEB_1_0_76
Changes since 1.9: +3 -3 lines
Diff to previous 1.9
Fixed many pmd warnings.
Revision
1.9
/
(view)
- annotate
- [select for diffs]
, Tue May 9 18:55:17 2006 UTC (6 years ago) by parrain
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_75,
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
Changes since 1.8: +2 -0 lines
Diff to previous 1.8
niceParameters returns null when paralmeters represent a tautology.
Revision
1.8
/
(view)
- annotate
- [select for diffs]
, Thu Apr 27 15:28:35 2006 UTC (6 years ago) by parrain
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_65,
OBJECTWEB_1_0_64
Changes since 1.7: +544 -619 lines
Diff to previous 1.7
merged with PBCONSTR
Revision
1.5.2.8
/
(view)
- annotate
- [select for diffs]
, Fri Apr 21 06:30:56 2006 UTC (6 years ago) by parrain
Branch:
PBCONSTR
CVS Tags:
PBCONSTR_1_0_13
Changes since 1.5.2.7: +7 -5 lines
Diff to previous 1.5.2.7
to branch point 1.5
to next main 1.6
AP: added a new pseudo-boolean solver which makes a pre-prcess : it implies clauses from pseudo-boolean constraints.
These clauses are added to the problem if their size is less than half the size of the original pseudo-boolean constraint.
a new method has been needed in the PBConstr interface.
Revision
1.7
/
(view)
- annotate
- [select for diffs]
, Tue Apr 18 20:27:41 2006 UTC (6 years ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_62,
OBJECTWEB_1_0_61
Changes since 1.6: +15 -15 lines
Diff to previous 1.6
Fixed NLS problems.
Added Emina new methods in IProblem and ISolver interfaces.
Removed displayResults() in Launcher.
Revision
1.5.2.7
/
(view)
- annotate
- [select for diffs]
, Thu Apr 13 19:26:29 2006 UTC (6 years, 1 month ago) by parrain
Branch:
PBCONSTR
CVS Tags:
PBCONSTR_1_0_9,
PBCONSTR_1_0_11,
PBCONSTR_1_0_10
Changes since 1.5.2.6: +529 -536 lines
Diff to previous 1.5.2.6
to branch point 1.5
AP :
- code cleaning in IDataStructurePB hierarchy
- AtLeastPB extends AtLeast and implements PBConstr. Can be learned
Revision
1.5.2.6
/
(view)
- annotate
- [select for diffs]
, Tue Apr 4 06:22:25 2006 UTC (6 years, 1 month ago) by parrain
Branch:
PBCONSTR
CVS Tags:
PBCONSTR_1_0_8,
PBCONSTR_1_0_7
Changes since 1.5.2.5: +1 -1 lines
Diff to previous 1.5.2.5
to branch point 1.5
AP : ArrayPb used instead of MapPb
Revision
1.5.2.5
/
(view)
- annotate
- [select for diffs]
, Sat Apr 1 19:25:29 2006 UTC (6 years, 1 month ago) by parrain
Branch:
PBCONSTR
CVS Tags:
PBCONSTR_1_0_6
Changes since 1.5.2.4: +38 -17 lines
Diff to previous 1.5.2.4
to branch point 1.5
AP :
- Il y a maintenant une interface et deux classes d'implementation pour MapPb et Conflict : l'une basŽe sur un tableau, l'autre sur un HashMap
Revision
1.5.2.4
/
(view)
- annotate
- [select for diffs]
, Mon Mar 20 15:27:02 2006 UTC (6 years, 1 month ago) by ffontaine
Branch:
PBCONSTR
CVS Tags:
PBCONSTR_1_0_5,
PBCONSTR_1_0_4,
PBCONSTR_1_0_3
Changes since 1.5.2.3: +0 -2 lines
Diff to previous 1.5.2.3
to branch point 1.5
Suppresion des warnings (imports inutiles).
Revision
1.5.2.3
/
(view)
- annotate
- [select for diffs]
, Sun Mar 19 22:10:53 2006 UTC (6 years, 1 month ago) by parrain
Branch:
PBCONSTR
Changes since 1.5.2.2: +38 -127 lines
Diff to previous 1.5.2.2
to branch point 1.5
AP :
- attention : code temporaire, encore boguŽ!
- crŽation d'une DataStructureFactory qui crŽŽ des PBconstr qui sont des clauses, des cardinalitŽs ou des PB-contraintes, suivant le cas;
- crŽation d'un solveur spŽcifique et des tests correspondants;
- spŽcial FrŽdŽric : lŽgres modifs dans MapPb (mŽthode cuttingPlane peut tre appelŽe avec le paramtre reducedCoefs null, suppression de l'introspection
Revision
1.5.2.2
/
(view)
- annotate
- [select for diffs]
, Tue Mar 14 22:20:44 2006 UTC (6 years, 2 months ago) by parrain
Branch:
PBCONSTR
Changes since 1.5.2.1: +0 -1 lines
Diff to previous 1.5.2.1
to branch point 1.5
AP : suite remarques FrŽdŽric
Revision
1.6
/
(view)
- annotate
- [select for diffs]
, Mon Mar 13 13:14:27 2006 UTC (6 years, 2 months ago) by leberre
Branch:
MAIN
CVS Tags:
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,
OBJECTWEB_1_0_48,
OBJECTWEB_1_0_47,
OBJECTWEB_1_0_46,
OBJECTWEB_1_0_45,
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
Changes since 1.5: +3 -3 lines
Diff to previous 1.5
Fixed a few PMD warnings.
Revision
1.5.2.1
/
(view)
- annotate
- [select for diffs]
, Fri Mar 10 21:42:44 2006 UTC (6 years, 2 months ago) by parrain
Branch:
PBCONSTR
Changes since 1.5: +3 -2 lines
Diff to previous 1.5
AP : version de travail vendredi 10 mars...
Revision
1.5
/
(view)
- annotate
- [select for diffs]
, Mon Feb 27 12:01:15 2006 UTC (6 years, 2 months ago) by parrain
Branch:
MAIN
CVS Tags:
Root_PBCONSTR,
OBJECTWEB_1_0_32,
OBJECTWEB_1_0_31,
OBJECTWEB_1_0_30
Branch point for:
PBCONSTR
Changes since 1.4: +1 -1 lines
Diff to previous 1.4
AP : sort() est maintenant final
Revision
1.4
/
(view)
- annotate
- [select for diffs]
, Sun Feb 5 12:09:41 2006 UTC (6 years, 3 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_26,
OBJECTWEB_1_0_25,
OBJECTWEB_1_0_24,
OBJECTWEB_1_0_23,
OBJECTWEB_1_0_20,
OBJECTWEB_1_0_19,
OBJECTWEB_1_0_18,
OBJECTWEB_1_0_17
Changes since 1.3: +50 -54 lines
Diff to previous 1.3
removed unnecessary moreThan field.
Revision
1.3
/
(view)
- annotate
- [select for diffs]
, Tue Dec 6 14:21:07 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: +1 -1 lines
Diff to previous 1.2
Fixed javadoc comment.
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: +4 -4 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