CVS log for sat4j/core/src/org/sat4j/minisat/learning/ClauseOnlyLearning.java |
 |
|
Up to [OW2-CVS] / sat4j / core / src / org / sat4j / minisat / learning
Request diff between arbitrary revisions
/ Display revisions graphically
Default branch: MAIN
Bookmark a link to:
HEAD
/
(download)
Revision
1.9
/
(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,
INTEGRATION_P2,
HEAD
Changes since 1.8: +27 -6 lines
Diff to previous 1.8
Updated EPL headers (Pascal) + ref to Minisat paper.
Revision
1.8
/
(view)
- annotate
- [select for diffs]
, Thu Dec 20 13:38:35 2007 UTC (4 years, 4 months ago) by leberre
Branch:
MAIN
CVS Tags:
RELEASE_2_0_RC2,
BEFORE_EPL_HEADERS
Changes since 1.7: +0 -8 lines
Diff to previous 1.7
Removed unused methods.
Revision
1.7
/
(view)
- annotate
- [select for diffs]
, Wed Nov 28 21:48:42 2007 UTC (4 years, 5 months ago) by leberre
Branch:
MAIN
Changes since 1.6: +1 -2 lines
Diff to previous 1.6
Going Back to normal, stable code, hopefully.
Revision
1.6
/
(view)
- annotate
- [select for diffs]
, Wed Nov 28 16:53:15 2007 UTC (4 years, 5 months ago) by leberre
Branch:
MAIN
Changes since 1.5: +2 -1 lines
Diff to previous 1.5
Huge refactoring to allow a finer control of the type of constraints managed by the Solver.
Beware: the code is not stable at all. I will fix this tonight. Do not update until further notice.
Revision
1.5
/
(view)
- annotate
- [select for diffs]
, Sat Nov 17 21:04:18 2007 UTC (4 years, 5 months ago) by leberre
Branch:
MAIN
CVS Tags:
STABLE_CODE
Changes since 1.4: +8 -0 lines
Diff to previous 1.4
Updated the javadoc.
Revision
1.4
/
(view)
- annotate
- [select for diffs]
, Thu Sep 13 14:47:11 2007 UTC (4 years, 8 months ago) by leberre
Branch:
MAIN
CVS Tags:
RELEASE_2_0_RC_1
Changes since 1.3: +2 -1 lines
Diff to previous 1.3
Added a new generic parameter to Solver. Should not affect black box users.
Revision
1.3
/
(view)
- annotate
- [select for diffs]
, Tue Aug 28 12:07:14 2007 UTC (4 years, 8 months ago) by leberre
Branch:
MAIN
CVS Tags:
RELEASE_1_7
Changes since 1.2: +1 -6 lines
Diff to previous 1.2
Fixed PMD warnings.
Revision
1.2
/
(view)
- annotate
- [select for diffs]
, Wed Jul 4 14:04:00 2007 UTC (4 years, 10 months ago) by leberre
Branch:
MAIN
Changes since 1.1: +19 -0 lines
Diff to previous 1.1
Fixed learning scheme. Refactored existing classes.
Revision
1.1
/
(view)
- annotate
- [select for diffs]
, Wed Jul 4 12:01:55 2007 UTC (4 years, 10 months ago) by leberre
Branch:
MAIN
Added PB solver with clause only learning.
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