CVS log for sat4j/core/src/org/sat4j/tools/ExtendedDimacsArrayReader.java |
 |
|
Up to [OW2-CVS] / sat4j / core / src / org / sat4j / tools
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,
INTEGRATION_P2,
HEAD
Changes since 1.5: +27 -24 lines
Diff to previous 1.5
Updated EPL headers (Pascal) + ref to Minisat paper.
Revision
1.5
/
(view)
- annotate
- [select for diffs]
, Wed Nov 21 12:09:07 2007 UTC (4 years, 5 months ago) by fuhs
Branch:
MAIN
CVS Tags:
STABLE_CODE,
RELEASE_2_0_RC2,
BEFORE_EPL_HEADERS
Changes since 1.4: +14 -5 lines
Diff to previous 1.4
* DimacsArrayReader.parseInstance() now returns ISolver, not IProblem
* minor improvements for ExtendedDimacsArrayReader
Revision
1.4
/
(view)
- annotate
- [select for diffs]
, Tue Aug 28 11:13:02 2007 UTC (4 years, 8 months ago) by leberre
Branch:
MAIN
CVS Tags:
RELEASE_2_0_RC_1,
RELEASE_1_7
Changes since 1.3: +13 -173 lines
Diff to previous 1.3
Removed duplicated code.
Revision
1.3
/
(view)
- annotate
- [select for diffs]
, Thu Nov 30 20:17:30 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,
MEMORY_EFFICIENT,
CSP_COMPETITION_2006_BUGFIXES_HEAD,
CSP_COMPETITION_2006_BUGFIXES
Changes since 1.2: +58 -36 lines
Diff to previous 1.2
Fixed copyright headers and indentation/format (asked by Dieter).
Revision
1.2
/
(view)
- annotate
- [select for diffs]
, Fri Oct 27 14:54:28 2006 UTC (5 years, 6 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
Changes since 1.1: +3 -4 lines
Diff to previous 1.1
Fixed PMD warnings.
Revision
1.1
/
(view)
- annotate
- [select for diffs]
, Thu Jul 20 13:16:01 2006 UTC (5 years, 9 months ago) by fuhs
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_99,
OBJECTWEB_1_0_97,
OBJECTWEB_1_0_96,
OBJECTWEB_1_0_91,
OBJECTWEB_1_0_90,
OBJECTWEB_1_0_100,
CSP_COMPETITION_2006
Introducing new convenience classes based on
org.sat4j.reader.DimacsReader and
org.sat4j.reader.ExtendedDimacsReader:
* The (Extended)ArrayReader classes allow other Java projects
to introduce (Extended) Dimacs problems as arrays of int.
* The (Extended)DimacsArrayToDimacsConverter can convert
(Extended)Dimacs problems to a Dimacs String.
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