CVS log for sat4j/core/src/org/sat4j/AbstractLauncher.java

CVS log for sat4j/core/src/org/sat4j/AbstractLauncher.java
	Help

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

Request diff between arbitrary revisions / Display revisions graphically

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

Revision 1.40 / (view) - annotate - [select for diffs] , Thu Jan 31 16:30:22 2008 UTC (4 years, 3 months ago) by parrain
Branch: MAIN
CVS Tags: PASCAL_SNAPSHOT_TWO, HEAD
Changes since 1.39: +0 -2 lines
Diff to previous 1.39

back to preceeding version for ISolver interface.
explanations concern only pb-part now

Revision 1.39 / (view) - annotate - [select for diffs] , Thu Jan 31 00:25:20 2008 UTC (4 years, 3 months ago) by parrain
Branch: MAIN
Changes since 1.38: +2 -0 lines
Diff to previous 1.38

added simple explanation for unsatisfiability

Revision 1.38 / (view) - annotate - [select for diffs] , Fri Jan 25 17:30:23 2008 UTC (4 years, 3 months ago) by leberre
Branch: MAIN
Changes since 1.37: +27 -24 lines
Diff to previous 1.37

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

Revision 1.37 / (view) - annotate - [select for diffs] , Thu Jan 10 20:42:55 2008 UTC (4 years, 4 months ago) by leberre
Branch: MAIN
CVS Tags: BEFORE_EPL_HEADERS
Changes since 1.36: +7 -4 lines
Diff to previous 1.36

Refactored packages to avoid having the same package names in different jars.
Added patch from Pascal Rapicault to properly define the OSGi bundles.

Revision 1.36 / (view) - annotate - [select for diffs] , Wed Jan 2 10:37:39 2008 UTC (4 years, 4 months ago) by leberre
Branch: MAIN
CVS Tags: RELEASE_2_0_RC2
Changes since 1.35: +3 -2 lines
Diff to previous 1.35

Added a new method in IProblem to allow the solver to return informations specific to a given problem.

Revision 1.35 / (view) - annotate - [select for diffs] , Fri Dec 28 20:40:37 2007 UTC (4 years, 4 months ago) by leberre
Branch: MAIN
Changes since 1.34: +0 -14 lines
Diff to previous 1.34

Removed dependencies to java/lang/management/*

Revision 1.34 / (view) - annotate - [select for diffs] , Sat Nov 17 16:43:19 2007 UTC (4 years, 5 months ago) by leberre
Branch: MAIN
CVS Tags: STABLE_CODE, RELEASE_2_0_RC_1
Changes since 1.33: +11 -0 lines
Diff to previous 1.33

Added a generic type to the solver decorator in order to avoid downcasting in PB code.

Revision 1.33 / (view) - annotate - [select for diffs] , Sat Nov 17 09:51:24 2007 UTC (4 years, 6 months ago) by leberre
Branch: MAIN
Changes since 1.32: +1 -1 lines
Diff to previous 1.32

Removing dependencies to Jakarta comons

Revision 1.32 / (view) - annotate - [select for diffs] , Tue Aug 28 12:33:38 2007 UTC (4 years, 8 months ago) by leberre
Branch: MAIN
CVS Tags: RELEASE_1_7
Changes since 1.31: +2 -6 lines
Diff to previous 1.31

Fixed javadoc issues.

Revision 1.31 / (view) - annotate - [select for diffs] , Thu Apr 5 13:59:18 2007 UTC (5 years, 1 month ago) by leberre
Branch: MAIN
Changes since 1.30: +1 -1 lines
Diff to previous 1.30

Updated license date.

Revision 1.30.6.1 / (view) - annotate - [select for diffs] , Mon Mar 12 13:19:06 2007 UTC (5 years, 2 months ago) by parrain
Branch: complete-smallint
Changes since 1.30: +2 -0 lines
Diff to previous 1.30 to next main 1.31

replacing BigInteger by long

Revision 1.30.2.1 / (view) - annotate - [select for diffs] , Sat Mar 3 16:22:18 2007 UTC (5 years, 2 months ago) by leberre
Branch: nonlinear
Changes since 1.30: +2 -0 lines
Diff to previous 1.30 to next main 1.31

Added latest files from Anne's email.

Revision 1.30 / (view) - annotate - [select for diffs] , Sat Feb 17 13:22:22 2007 UTC (5 years, 2 months ago) by leberre
Branch: MAIN
CVS Tags: Root_nonlinear, Root_complete-smallint, Root_MEMORY_EFFICIENT, MEMORY_EFFICIENT
Branch point for: nonlinear, complete-smallint
Changes since 1.29: +29 -5 lines
Diff to previous 1.29

Fixed more findbugs warnings.

Revision 1.29 / (view) - annotate - [select for diffs] , Thu Feb 1 16:49:50 2007 UTC (5 years, 3 months ago) by leberre
Branch: MAIN
Changes since 1.28: +3 -3 lines
Diff to previous 1.28

Moved cputime computation in order to have it even when the process is killed.

Revision 1.28 / (view) - annotate - [select for diffs] , Wed Dec 6 05:14:41 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.27: +5 -2 lines
Diff to previous 1.27

Added experimental CPU Time after instance is read.

Revision 1.27 / (view) - annotate - [select for diffs] , Tue Dec 5 21:49:32 2006 UTC (5 years, 5 months ago) by leberre
Branch: MAIN
Changes since 1.26: +12 -1 lines
Diff to previous 1.26

Added experimental support for CPU time for Frank Hutter.

Revision 1.26 / (view) - annotate - [select for diffs] , Tue Dec 5 15:07:26 2006 UTC (5 years, 5 months ago) by leberre
Branch: MAIN
Changes since 1.25: +3 -0 lines
Diff to previous 1.25

Added FATAL to the output if an exception is launched.

Revision 1.25 / (view) - annotate - [select for diffs] , Thu Nov 30 20:17:30 2006 UTC (5 years, 5 months ago) by leberre
Branch: MAIN
Changes since 1.24: +24 -0 lines
Diff to previous 1.24

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

Revision 1.24 / (view) - annotate - [select for diffs] , Wed Nov 8 19:48:10 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
Changes since 1.23: +192 -194 lines
Diff to previous 1.23

Fixed formatting.

Revision 1.23 / (view) - annotate - [select for diffs] , Thu Aug 31 14:54:54 2006 UTC (5 years, 8 months ago) by leberre
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_103, OBJECTWEB_1_0_102, OBJECTWEB_1_0_101, OBJECTWEB_1_0_100
Changes since 1.22: +3 -1 lines
Diff to previous 1.22

Fixed memory problem.
Decoding the model directly in a PrintWriter.

Revision 1.22 / (view) - annotate - [select for diffs] , Mon Jul 10 19:13:00 2006 UTC (5 years, 10 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_89, CSP_COMPETITION_2006
Changes since 1.21: +4 -4 lines
Diff to previous 1.21

Fixed NLS warnings.

Revision 1.21 / (view) - annotate - [select for diffs] , Tue Jun 27 12:13:31 2006 UTC (5 years, 10 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_88, OBJECTWEB_1_0_87, OBJECTWEB_1_0_86
Changes since 1.20: +7 -1 lines
Diff to previous 1.20

Added silent mode.

Revision 1.20 / (view) - annotate - [select for diffs] , Mon Jun 5 19:52:42 2006 UTC (5 years, 11 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_85
Changes since 1.19: +1 -0 lines
Diff to previous 1.19

Merged some fixes from Release 1.6 branch.

Revision 1.19.2.1 / (view) - annotate - [select for diffs] , Thu Jun 1 13:31:18 2006 UTC (5 years, 11 months ago) by leberre
Branch: RELEASE_1_6
CVS Tags: RELEASE_1_6_0_0_9, RELEASE_1_6_0_0_8, RELEASE_1_6_0_0_7, RELEASE_1_6_0_0_4, RELEASE_1_6_0_0_10
Changes since 1.19: +1 -0 lines
Diff to previous 1.19 to next main 1.20

Added information about the jakarta project.

Revision 1.3.2.2 / (view) - annotate - [select for diffs] , Wed Apr 26 15:13:41 2006 UTC (6 years ago) by parrain
Branch: PBCONSTR
Changes since 1.3.2.1: +3 -0 lines
Diff to previous 1.3.2.1 to branch point 1.3 to next main 1.4

merge with HEAD

Revision 1.3.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.3: +32 -25 lines
Diff to previous 1.3

merge with HEAD branches is done

Improved command line support thanks to apache commons-cli.
Added support for dot files generation.

Revision 1.18 / (view) - annotate - [select for diffs] , Tue Apr 18 20:33:32 2006 UTC (6 years ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_62
Changes since 1.17: +0 -1 lines
Diff to previous 1.17

Removed unused import.

Revision 1.17 / (view) - annotate - [select for diffs] , Tue Apr 18 20:27:41 2006 UTC (6 years ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_61
Changes since 1.16: +3 -2 lines
Diff to previous 1.16

Fixed NLS problems.
Added Emina new methods in IProblem and ISolver interfaces.
Removed displayResults() in Launcher.

Revision 1.16 / (view) - annotate - [select for diffs] , Thu Mar 30 12:43:52 2006 UTC (6 years, 1 month ago) by salhaji
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_60, OBJECTWEB_1_0_59, OBJECTWEB_1_0_58, OBJECTWEB_1_0_57, OBJECTWEB_1_0_56, OBJECTWEB_1_0_55, OBJECTWEB_1_0_54, OBJECTWEB_1_0_53, OBJECTWEB_1_0_52, OBJECTWEB_1_0_51, OBJECTWEB_1_0_50
Changes since 1.15: +1 -4 lines
Diff to previous 1.15

Fixed message regarding xwall clock time: the time is in seconds, not ms.

Revision 1.15 / (view) - annotate - [select for diffs] , Thu Mar 30 10:09:37 2006 UTC (6 years, 1 month ago) by leberre
Branch: MAIN
Changes since 1.14: +6 -0 lines
Diff to previous 1.14

Added two single line comments to precize the responsabilities of AbstractLauncher and AbstractOptimizationLauncher.

Revision 1.14 / (view) - annotate - [select for diffs] , Thu Mar 30 06:31:08 2006 UTC (6 years, 1 month ago) by salhaji
Branch: MAIN
Changes since 1.13: +2 -2 lines
Diff to previous 1.13

Fixed log problem. Add the key word "transient" before the attributes out and shutdownHook.

Revision 1.13 / (view) - annotate - [select for diffs] , Wed Mar 29 14:10:56 2006 UTC (6 years, 1 month ago) by leberre
Branch: MAIN
Changes since 1.12: +0 -2 lines
Diff to previous 1.12

Fixed error log.

Revision 1.12 / (view) - annotate - [select for diffs] , Wed Mar 29 13:47:25 2006 UTC (6 years, 1 month ago) by leberre
Branch: MAIN
Changes since 1.11: +0 -1 lines
Diff to previous 1.11

Fixed several warnings (serialid and missing @Override).

Revision 1.11 / (view) - annotate - [select for diffs] , Wed Mar 29 12:32:34 2006 UTC (6 years, 1 month ago) by salhaji
Branch: MAIN
Changes since 1.10: +2 -0 lines
Diff to previous 1.10

*** empty log message ***

Revision 1.10 / (view) - annotate - [select for diffs] , Wed Mar 29 10:15:29 2006 UTC (6 years, 1 month ago) by leberre
Branch: MAIN
Changes since 1.9: +3 -4 lines
Diff to previous 1.9

Fixed stats display.

Revision 1.9 / (view) - annotate - [select for diffs] , Wed Mar 29 09:48:05 2006 UTC (6 years, 1 month ago) by salhaji
Branch: MAIN
Changes since 1.8: +2 -1 lines
Diff to previous 1.8

This class is now Serializable.

Revision 1.8 / (view) - annotate - [select for diffs] , Mon Mar 27 12:51:47 2006 UTC (6 years, 1 month ago) by salhaji
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_48, OBJECTWEB_1_0_47
Changes since 1.7: +5 -0 lines
Diff to previous 1.7

The interface LearningStrategy is currently Serializable

Revision 1.7 / (view) - annotate - [select for diffs] , Wed Mar 22 10:33:07 2006 UTC (6 years, 1 month ago) by salhaji
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_46
Changes since 1.6: +1 -1 lines
Diff to previous 1.6

Make the reader attrubut protected.

Revision 1.6 / (view) - annotate - [select for diffs] , Sun Mar 19 11:09:24 2006 UTC (6 years, 1 month ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_45
Changes since 1.5: +8 -8 lines
Diff to previous 1.5

fixed non externalizable warnings.
Removed calls to deprecated method.

Revision 1.5 / (view) - annotate - [select for diffs] , Thu Mar 16 14:13:39 2006 UTC (6 years, 2 months ago) by salhaji
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_44, OBJECTWEB_1_0_42, OBJECTWEB_1_0_41, OBJECTWEB_1_0_40, OBJECTWEB_1_0_37
Changes since 1.4: +2 -3 lines
Diff to previous 1.4

Default PrintWriter in AbstractLauncher with autoFlush option.

Revision 1.4 / (view) - annotate - [select for diffs] , Thu Mar 16 10:37:13 2006 UTC (6 years, 2 months ago) by salhaji
Branch: MAIN
Changes since 1.3: +5 -4 lines
Diff to previous 1.3

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

Revision 1.3 / (view) - annotate - [select for diffs] , Fri Mar 10 16:45:53 2006 UTC (6 years, 2 months ago) by salhaji
Branch: MAIN
CVS Tags: Root_PBCONSTR, PBCONSTR_1_0_9, PBCONSTR_1_0_8, PBCONSTR_1_0_7, PBCONSTR_1_0_6, PBCONSTR_1_0_5, PBCONSTR_1_0_4, PBCONSTR_1_0_3, PBCONSTR_1_0_13, PBCONSTR_1_0_11, PBCONSTR_1_0_10, OBJECTWEB_1_0_36, OBJECTWEB_1_0_35
Branch point for: PBCONSTR
Changes since 1.2: +102 -39 lines
Diff to previous 1.2

New refactored version of sat4j

Revision 1.2 / (view) - annotate - [select for diffs] , Mon Mar 6 22:09:00 2006 UTC (6 years, 2 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_32
Changes since 1.1: +3 -3 lines
Diff to previous 1.1

Fixed some PMD bugs.

Revision 1.1 / (view) - annotate - [select for diffs] , Mon Feb 6 22:18:26 2006 UTC (6 years, 3 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_31, OBJECTWEB_1_0_30, OBJECTWEB_1_0_26, OBJECTWEB_1_0_25, OBJECTWEB_1_0_24, OBJECTWEB_1_0_23, OBJECTWEB_1_0_20, OBJECTWEB_1_0_19

Refactorized the launchers to make them all subclasses of AbstractLauncher.

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/AbstractLauncher.java

Help