CVS log for sat4j/core/src/org/sat4j/minisat/constraints/pb/Attic/ConflictMapClause.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.4
, 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.3: +0 -0 lines
FILE REMOVED
Removed CSP and PB related code for the 2.0 release.
Revision
1.3
/
(view)
- annotate
- [select for diffs]
, Tue Aug 28 12:33:37 2007 UTC (4 years, 8 months ago) by leberre
Branch:
MAIN
CVS Tags:
RELEASE_1_7
Changes since 1.2: +1 -1 lines
Diff to previous 1.2
Fixed javadoc issues.
Revision
1.2.6.1
/
(view)
- annotate
- [select for diffs]
, Thu Mar 8 11:43:23 2007 UTC (5 years, 2 months ago) by leberre
Branch:
MEMORY_EFFICIENT
Changes since 1.2: +3 -3 lines
Diff to previous 1.2
to next main 1.3
Made access to vocabulary through static method in Solver: should save a lot of memory (4 bytes per constraint).
Revision
1.2
/
(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,
complete-smallint,
SAT_COMPETITION_2007,
Root_nonlinear,
Root_complete-smallint,
Root_NICE,
Root_MEMORY_EFFICIENT,
RELEASE_1_7_RC_2,
NICE,
CSP_COMPETITION_2006_BUGFIXES_HEAD,
CSP_COMPETITION_2006_BUGFIXES
Branch point for:
MEMORY_EFFICIENT
Changes since 1.1: +65 -40 lines
Diff to previous 1.1
Fixed copyright headers and indentation/format (asked by Dieter).
Revision
1.1
/
(view)
- annotate
- [select for diffs]
, Sat Nov 11 20:34:45 2006 UTC (5 years, 6 months ago) by parrain
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_112,
OBJECTWEB_1_0_111,
OBJECTWEB_1_0_110,
OBJECTWEB_1_0_109
ConflictMap : byLevel is now an array of VecInt (instead of a Map of <Integer,List>Integer>> )
(almost) comments in french have been translated in english
PBSolverClause uses the new ConflictMapClause (instead of ConflictArrayClause)
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