CVS log for sat4j/core/src/org/sat4j/minisat/core/IOrder.java

CVS log for sat4j/core/src/org/sat4j/minisat/core/IOrder.java
	Help

Up to [OW2-CVS] / sat4j / core / src / org / sat4j / minisat / core

Request diff between arbitrary revisions / Display revisions graphically

Default branch: MAIN
Bookmark a link to: HEAD / (download)

Revision 1.12 / (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.11: +28 -25 lines
Diff to previous 1.11

Updated EPL headers (Pascal) + ref to Minisat paper.

Revision 1.11 / (view) - annotate - [select for diffs] , Fri Dec 14 10:00:19 2007 UTC (4 years, 5 months ago) by leberre
Branch: MAIN
CVS Tags: RELEASE_2_0_RC2, BEFORE_EPL_HEADERS
Changes since 1.10: +4 -0 lines
Diff to previous 1.10

Added phase selection strategy.

Revision 1.10 / (view) - annotate - [select for diffs] , Wed Nov 28 21:48:41 2007 UTC (4 years, 5 months ago) by leberre
Branch: MAIN
Changes since 1.9: +1 -1 lines
Diff to previous 1.9

Going Back to normal, stable code, hopefully.

Revision 1.9 / (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.8: +1 -1 lines
Diff to previous 1.8

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.8 / (view) - annotate - [select for diffs] , Thu Aug 30 07:27:37 2007 UTC (4 years, 8 months ago) by leberre
Branch: MAIN
CVS Tags: STABLE_CODE, RELEASE_2_0_RC_1, RELEASE_1_7
Changes since 1.7: +2 -2 lines
Diff to previous 1.7

Fixed typos in the javadoc comments (thanks Eclipse Europa :)).

Revision 1.7 / (view) - annotate - [select for diffs] , Fri Mar 23 14:57:10 2007 UTC (5 years, 1 month ago) by leberre
Branch: MAIN
Changes since 1.6: +2 -2 lines
Diff to previous 1.6

Used Generics to prevent the use of downcasting in the code.
See http://www.javaspecialists.eu/archive/newsletter.do?issue=123&print=yes&locale=en_US for details.

Revision 1.6 / (view) - annotate - [select for diffs] , Mon Feb 19 13:32:58 2007 UTC (5 years, 2 months ago) by leberre
Branch: MAIN
CVS Tags: nonlinear, complete-smallint, Root_nonlinear, Root_complete-smallint, Root_MEMORY_EFFICIENT, MEMORY_EFFICIENT
Changes since 1.5: +7 -0 lines
Diff to previous 1.5

Added Rsat like heuristics in VarOrderHeapRsat

Revision 1.5 / (view) - annotate - [select for diffs] , Thu Nov 30 20:17:29 2006 UTC (5 years, 5 months ago) by leberre
Branch: MAIN
CVS Tags: SAT_COMPETITION_2007, Root_NICE, RELEASE_1_7_RC_2, NICE, CSP_COMPETITION_2006_BUGFIXES_HEAD, CSP_COMPETITION_2006_BUGFIXES
Changes since 1.4: +24 -0 lines
Diff to previous 1.4

Fixed copyright headers and indentation/format (asked by Dieter).

Revision 1.4 / (view) - annotate - [select for diffs] , Sat Nov 11 17:17:48 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
Changes since 1.3: +1 -1 lines
Diff to previous 1.3

Fixed Javadoc comments.

Revision 1.3 / (view) - annotate - [select for diffs] , Sat Nov 11 14:52:40 2006 UTC (5 years, 6 months ago) by leberre
Branch: MAIN
Changes since 1.2: +59 -12 lines
Diff to previous 1.2

made ISolver.newVar() deprecated.

Revision 1.1.2.1 / (view) - annotate - [select for diffs] , Tue Apr 25 13:18:49 2006 UTC (6 years ago) by parrain
Branch: PBCONSTR
Changes since 1.1: +2 -2 lines
Diff to previous 1.1 to next main 1.2

merge with HEAD branches is done

Changed PrintStream by PrintWriter in abstract launcher.
The ISolver.printStat(PrintStream,prefix) is now deprecated.
One should use ISolver.printStat(PrintWriter,prefix) instead.

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.

Diffs between and
Type of Diff should be a

webmaster@ow2.org

Back to OW2 Forge

CVS log for sat4j/core/src/org/sat4j/minisat/core/IOrder.java

Help