CVS log for sat4j/core/src/org/sat4j/minisat/restarts/LubyRestarts.java |
 |
|
Up to [OW2-CVS] / sat4j / core / src / org / sat4j / minisat / restarts
Request diff between arbitrary revisions
/ Display revisions graphically
Default branch: MAIN
Bookmark a link to:
HEAD
/
(download)
Revision
1.6
/
(view)
- annotate
- [select for diffs]
, Fri Jan 25 17:30:23 2008 UTC (4 years, 3 months ago) by leberre
Branch:
MAIN
CVS Tags:
PASCAL_SNAPSHOT_TWO,
HEAD
Changes since 1.5: +27 -0 lines
Diff to previous 1.5
Updated EPL headers (Pascal) + ref to Minisat paper.
Revision
1.5
/
(view)
- annotate
- [select for diffs]
, Tue Aug 28 11:49:20 2007 UTC (4 years, 8 months ago) by leberre
Branch:
MAIN
CVS Tags:
STABLE_CODE,
RELEASE_2_0_RC_1,
RELEASE_2_0_RC2,
RELEASE_1_7,
BEFORE_EPL_HEADERS
Changes since 1.4: +5 -0 lines
Diff to previous 1.4
Added default serial version ID to new serializable classes.
Revision
1.4
/
(view)
- annotate
- [select for diffs]
, Mon Jun 11 06:57:48 2007 UTC (4 years, 11 months ago) by leberre
Branch:
MAIN
Changes since 1.3: +1 -0 lines
Diff to previous 1.3
Added @Override annotation to toString method.
Revision
1.3
/
(view)
- annotate
- [select for diffs]
, Sun Jun 10 09:01:53 2007 UTC (4 years, 11 months ago) by leberre
Branch:
MAIN
Changes since 1.2: +4 -0 lines
Diff to previous 1.2
Added getter to property factor.
Revision
1.2
/
(view)
- annotate
- [select for diffs]
, Sun Jun 10 08:46:56 2007 UTC (4 years, 11 months ago) by leberre
Branch:
MAIN
Changes since 1.1: +9 -4 lines
Diff to previous 1.1
Allows command line configuration of the restarts strategy.
Revision
1.1
/
(view)
- annotate
- [select for diffs]
, Sat Jun 9 13:24:27 2007 UTC (4 years, 11 months ago) by leberre
Branch:
MAIN
Added luby style restart strategy.
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