CVS log for sat4j/core/src/org/sat4j/Attic/Lanceur.java

CVS log for sat4j/core/src/org/sat4j/Attic/Lanceur.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.55 , Sat Nov 17 09:51:24 2007 UTC (4 years, 6 months ago) by leberre
Branch: MAIN
CVS Tags: RELEASE_2_0_RC2, PASCAL_SNAPSHOT_TWO, INTEGRATION_P2, HEAD, BEFORE_EPL_HEADERS
Changes since 1.54: +0 -0 lines
FILE REMOVED

Removing dependencies to Jakarta comons

Revision 1.54 / (view) - annotate - [select for diffs] , Wed Oct 24 19:24:09 2007 UTC (4 years, 6 months ago) by leberre
Branch: MAIN
Changes since 1.53: +0 -1 lines
Diff to previous 1.53

The solver nows display its internal timeout.

Revision 1.53 / (view) - annotate - [select for diffs] , Thu Sep 13 15:30:46 2007 UTC (4 years, 8 months ago) by leberre
Branch: MAIN
Changes since 1.52: +1 -1 lines
Diff to previous 1.52

Fixed a few warnings.

Revision 1.52 / (view) - annotate - [select for diffs] , Thu Sep 13 15:29:40 2007 UTC (4 years, 8 months ago) by leberre
Branch: MAIN
Changes since 1.51: +0 -111 lines
Diff to previous 1.51

Removed unused replay feature.

Revision 1.51 / (view) - annotate - [select for diffs] , Thu Sep 13 14:47:11 2007 UTC (4 years, 8 months ago) by leberre
Branch: MAIN
Changes since 1.50: +1 -1 lines
Diff to previous 1.50

Added a new generic parameter to Solver. Should not affect black box users.

Revision 1.50 / (view) - annotate - [select for diffs] , Tue Aug 28 14:24:53 2007 UTC (4 years, 8 months ago) by leberre
Branch: MAIN
CVS Tags: RELEASE_1_7
Changes since 1.49: +2 -4 lines
Diff to previous 1.49

Removed dependency to MiniSATRestarts in Solver to break a last cycle in package dependencies.

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

Fixed javadoc issues.

Revision 1.48 / (view) - annotate - [select for diffs] , Tue Aug 28 09:41:03 2007 UTC (4 years, 8 months ago) by leberre
Branch: MAIN
Changes since 1.47: +1 -1 lines
Diff to previous 1.47

Fixed findbugs warnings when necessary.
Added a comment DLB findbugs ok is the code is ok and the warning can be safely ignored.

Revision 1.47 / (view) - annotate - [select for diffs] , Tue Aug 28 08:31:47 2007 UTC (4 years, 8 months ago) by leberre
Branch: MAIN
Changes since 1.46: +2 -2 lines
Diff to previous 1.46

Fixed generics related warnings.

Revision 1.46 / (view) - annotate - [select for diffs] , Wed Jul 4 14:03:59 2007 UTC (4 years, 10 months ago) by leberre
Branch: MAIN
Changes since 1.45: +2 -2 lines
Diff to previous 1.45

Fixed learning scheme. Refactored existing classes.

Revision 1.45 / (view) - annotate - [select for diffs] , Sun Jun 10 08:46:57 2007 UTC (4 years, 11 months ago) by leberre
Branch: MAIN
Changes since 1.44: +4 -0 lines
Diff to previous 1.44

Allows command line configuration of the restarts strategy.

Revision 1.44 / (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.43: +3 -0 lines
Diff to previous 1.43

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.43.4.1 / (view) - annotate - [select for diffs] , Thu Mar 8 11:43:24 2007 UTC (5 years, 2 months ago) by leberre
Branch: MEMORY_EFFICIENT
Changes since 1.43: +1 -1 lines
Diff to previous 1.43 to next main 1.44

Made access to vocabulary through static method in Solver: should save a lot of memory (4 bytes per constraint).

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

Changed default solver for MAXSAT solving.

Revision 1.42 / (view) - annotate - [select for diffs] , Sat Feb 17 13:22:22 2007 UTC (5 years, 2 months ago) by leberre
Branch: MAIN
Changes since 1.41: +1 -5 lines
Diff to previous 1.41

Fixed more findbugs warnings.

Revision 1.41 / (view) - annotate - [select for diffs] , Sat Feb 17 12:14:23 2007 UTC (5 years, 2 months ago) by leberre
Branch: MAIN
Changes since 1.40: +1 -43 lines
Diff to previous 1.40

Fixed FB warnings.

Revision 1.40 / (view) - annotate - [select for diffs] , Thu Dec 21 20:41:00 2006 UTC (5 years, 4 months ago) by leberre
Branch: MAIN
CVS Tags: SAT_COMPETITION_2007, RELEASE_1_7_RC_2, CSP_COMPETITION_2006_BUGFIXES_HEAD
Changes since 1.39: +4 -4 lines
Diff to previous 1.39

Fixed PMD warnings.

Revision 1.39 / (view) - annotate - [select for diffs] , Tue Dec 5 15:07:26 2006 UTC (5 years, 5 months ago) by leberre
Branch: MAIN
CVS Tags: Root_NICE, NICE, CSP_COMPETITION_2006_BUGFIXES
Changes since 1.38: +16 -7 lines
Diff to previous 1.38

Added FATAL to the output if an exception is launched.

Revision 1.38 / (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.37: +22 -20 lines
Diff to previous 1.37

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

Revision 1.37 / (view) - annotate - [select for diffs] , Tue Nov 28 15:46:14 2006 UTC (5 years, 5 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_112
Changes since 1.36: +1 -0 lines
Diff to previous 1.36

Disabled type checking warning.

Revision 1.36 / (view) - annotate - [select for diffs] , Thu Nov 9 10:27:55 2006 UTC (5 years, 6 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_111, OBJECTWEB_1_0_110, OBJECTWEB_1_0_109
Changes since 1.35: +3 -1 lines
Diff to previous 1.35

Fixed notification for wrong component property name.

Revision 1.35 / (view) - annotate - [select for diffs] , Wed Nov 8 21:15:27 2006 UTC (5 years, 6 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_108
Changes since 1.34: +5 -0 lines
Diff to previous 1.34

Added support for modifying searchparams on the command line.

Revision 1.34 / (view) - annotate - [select for diffs] , Wed Nov 8 17:50:10 2006 UTC (5 years, 6 months ago) by leberre
Branch: MAIN
Changes since 1.33: +1 -0 lines
Diff to previous 1.33

reduced command line key from SIMPLIFICATION to SIMP

Revision 1.33 / (view) - annotate - [select for diffs] , Wed Nov 8 16:02:14 2006 UTC (5 years, 6 months ago) by leberre
Branch: MAIN
Changes since 1.32: +4 -0 lines
Diff to previous 1.32

Fixed Launcher error messages.

Revision 1.32 / (view) - annotate - [select for diffs] , Wed Nov 8 11:27:59 2006 UTC (5 years, 6 months ago) by leberre
Branch: MAIN
Changes since 1.31: +15 -14 lines
Diff to previous 1.31

Added default values for command line configuration.

Revision 1.31 / (view) - annotate - [select for diffs] , Wed Nov 8 10:37:56 2006 UTC (5 years, 6 months ago) by leberre
Branch: MAIN
Changes since 1.30: +100 -32 lines
Diff to previous 1.30

Added support for command line configuration of solvers.

Revision 1.30 / (view) - annotate - [select for diffs] , Tue Oct 3 11:37:04 2006 UTC (5 years, 7 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_103, OBJECTWEB_1_0_102, OBJECTWEB_1_0_101, OBJECTWEB_1_0_100
Changes since 1.29: +5 -10 lines
Diff to previous 1.29

Fixed some PMD warnings.

Revision 1.29 / (view) - annotate - [select for diffs] , Tue Jun 27 12:19:46 2006 UTC (5 years, 10 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_89, OBJECTWEB_1_0_88, OBJECTWEB_1_0_87, OBJECTWEB_1_0_86, CSP_COMPETITION_2006
Changes since 1.28: +2 -3 lines
Diff to previous 1.28

Renammed option silent into mute.

Revision 1.28 / (view) - annotate - [select for diffs] , Tue Jun 27 12:17:59 2006 UTC (5 years, 10 months ago) by leberre
Branch: MAIN
Changes since 1.27: +1 -1 lines
Diff to previous 1.27

Consuming silent option.

Revision 1.27 / (view) - annotate - [select for diffs] , Tue Jun 27 12:16:44 2006 UTC (5 years, 10 months ago) by leberre
Branch: MAIN
Changes since 1.26: +3 -2 lines
Diff to previous 1.26

Consuming silent option.

Revision 1.26 / (view) - annotate - [select for diffs] , Tue Jun 27 12:13:31 2006 UTC (5 years, 10 months ago) by leberre
Branch: MAIN
Changes since 1.25: +5 -0 lines
Diff to previous 1.25

Added silent mode.

Revision 1.25 / (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.24: +5 -0 lines
Diff to previous 1.24

Merged some fixes from Release 1.6 branch.

Revision 1.24.2.1 / (view) - annotate - [select for diffs] , Thu Jun 1 13:28:53 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.24: +5 -0 lines
Diff to previous 1.24 to next main 1.25

Added SATRaceDecorator.
Fixed launcher: usage displayed when no arguments are given.

Revision 1.24 / (view) - annotate - [select for diffs] , Wed May 24 18:07:44 2006 UTC (5 years, 11 months ago) by leberre
Branch: MAIN
CVS Tags: Root_RELEASE_1_6, RELEASE_1_6_0_0_2, OBJECTWEB_1_0_83, OBJECTWEB_1_0_82, OBJECTWEB_1_0_81, OBJECTWEB_1_0_80, OBJECTWEB_1_0_79, OBJECTWEB_1_0_78, OBJECTWEB_1_0_77
Branch point for: RELEASE_1_6
Changes since 1.23: +10 -10 lines
Diff to previous 1.23

Fixed StringBuilder problem (Findbugs).

Revision 1.23 / (view) - annotate - [select for diffs] , Wed May 24 18:04:55 2006 UTC (5 years, 11 months ago) by leberre
Branch: MAIN
Changes since 1.22: +1 -2 lines
Diff to previous 1.22

Use a variable instead of a constant.

Revision 1.22 / (view) - annotate - [select for diffs] , Wed May 24 05:45:11 2006 UTC (5 years, 11 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_76
Changes since 1.21: +2 -1 lines
Diff to previous 1.21

Fixed many pmd warnings.

Revision 1.21 / (view) - annotate - [select for diffs] , Tue May 16 17:18:50 2006 UTC (6 years ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_75, OBJECTWEB_1_0_74, OBJECTWEB_1_0_73, OBJECTWEB_1_0_72, OBJECTWEB_1_0_71
Changes since 1.20: +5 -4 lines
Diff to previous 1.20

Added suppress warning nls.

Revision 1.20 / (view) - annotate - [select for diffs] , Wed May 3 13:13:56 2006 UTC (6 years ago) by salhaji
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_69, OBJECTWEB_1_0_68, OBJECTWEB_1_0_67, OBJECTWEB_1_0_66, OBJECTWEB_1_0_65
Changes since 1.19: +37 -0 lines
Diff to previous 1.19

Added backup method.

Revision 1.19 / (view) - annotate - [select for diffs] , Fri Apr 28 06:12:06 2006 UTC (6 years ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_64
Changes since 1.18: +248 -104 lines
Diff to previous 1.18

Started adding backup/replay feature.

Revision 1.18 / (view) - annotate - [select for diffs] , Thu Apr 27 07:00:10 2006 UTC (6 years ago) by leberre
Branch: MAIN
Changes since 1.17: +1 -3 lines
Diff to previous 1.17

Fixed Lanceur CLI.

Revision 1.10.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.10.2.1: +100 -54 lines
Diff to previous 1.10.2.1 to branch point 1.10 to next main 1.11

merge with HEAD

Revision 1.10.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.10: +17 -24 lines
Diff to previous 1.10

merge with HEAD branches is done

Revision 1.17 / (view) - annotate - [select for diffs] , Tue Apr 25 12:44:16 2006 UTC (6 years ago) by leberre
Branch: MAIN
Changes since 1.16: +100 -54 lines
Diff to previous 1.16

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

Revision 1.16 / (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_62, OBJECTWEB_1_0_61
Changes since 1.15: +3 -24 lines
Diff to previous 1.15

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

Revision 1.15 / (view) - annotate - [select for diffs] , Thu Mar 30 10:34:19 2006 UTC (6 years, 1 month ago) by leberre
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.14: +1 -1 lines
Diff to previous 1.14

Removed varargs warning.

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

Fixed SAT command line.

Revision 1.13 / (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.12: +6 -0 lines
Diff to previous 1.12

Fixed several warnings (serialid and missing @Override).

Revision 1.12 / (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_48, OBJECTWEB_1_0_47, OBJECTWEB_1_0_46, OBJECTWEB_1_0_45
Changes since 1.11: +3 -1 lines
Diff to previous 1.11

fixed non externalizable warnings.
Removed calls to deprecated method.

Revision 1.11 / (view) - annotate - [select for diffs] , Mon Mar 13 14:21:46 2006 UTC (6 years, 2 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_44, OBJECTWEB_1_0_42, OBJECTWEB_1_0_41, OBJECTWEB_1_0_40, OBJECTWEB_1_0_37, OBJECTWEB_1_0_36, OBJECTWEB_1_0_35
Changes since 1.10: +6 -3 lines
Diff to previous 1.10

Added @Override annotations.

Revision 1.10 / (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
Branch point for: PBCONSTR
Changes since 1.9: +7 -6 lines
Diff to previous 1.9

New refactored version of sat4j

Revision 1.9 / (view) - annotate - [select for diffs] , Sun Feb 26 17:20:28 2006 UTC (6 years, 2 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_32, OBJECTWEB_1_0_31, OBJECTWEB_1_0_30, OBJECTWEB_1_0_26
Changes since 1.8: +1 -1 lines
Diff to previous 1.8

removed extra comment prefix.

Revision 1.8 / (view) - annotate - [select for diffs] , Sun Feb 19 22:57:27 2006 UTC (6 years, 2 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_25, OBJECTWEB_1_0_24, OBJECTWEB_1_0_23, OBJECTWEB_1_0_20
Changes since 1.7: +2 -2 lines
Diff to previous 1.7

Fixed messages regarding ellapsed wall clock time to meet Olivier's expectations :-=)

Revision 1.7 / (view) - annotate - [select for diffs] , Mon Feb 6 22:22:08 2006 UTC (6 years, 3 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_19
Changes since 1.6: +0 -1 lines
Diff to previous 1.6

Fixed organized imports.

Revision 1.6 / (view) - annotate - [select for diffs] , Mon Feb 6 22:18:26 2006 UTC (6 years, 3 months ago) by leberre
Branch: MAIN
Changes since 1.5: +125 -237 lines
Diff to previous 1.5

Refactorized the launchers to make them all subclasses of AbstractLauncher.

Revision 1.5 / (view) - annotate - [select for diffs] , Thu Feb 2 10:56:57 2006 UTC (6 years, 3 months ago) by salhaji
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_18, OBJECTWEB_1_0_17
Changes since 1.4: +0 -62 lines
Diff to previous 1.4

The ExitCode enumeration is now part of the org.sat4J package for easier reuse.

Revision 1.4 / (view) - annotate - [select for diffs] , Mon Jan 2 14:02:41 2006 UTC (6 years, 4 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_15, OBJECTWEB_1_0_14, OBJECTWEB_1_0_13
Changes since 1.3: +1 -1 lines
Diff to previous 1.3

Year 2006 now appears on tool header.

Revision 1.3 / (view) - annotate - [select for diffs] , Tue Dec 6 11:54:27 2005 UTC (6 years, 5 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_9, OBJECTWEB_1_0_8, OBJECTWEB_1_0_7, OBJECTWEB_1_0_6, OBJECTWEB_1_0_11, OBJECTWEB_1_0_10
Changes since 1.2: +32 -21 lines
Diff to previous 1.2

Improved a bit the way messages are displayed by the launcher.

Revision 1.2 / (view) - annotate - [select for diffs] , Fri Dec 2 19:33:04 2005 UTC (6 years, 5 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_5, OBJECTWEB_1_0_4, OBJECTWEB_1_0_3, OBJECTWEB_1_0_0
Changes since 1.1: +31 -31 lines
Diff to previous 1.1

Fixed code to mimic exactly RELEASE 1.5

Revision 1.1 / (view) - annotate - [select for diffs] , Wed Nov 30 09:19:52 2005 UTC (6 years, 5 months ago) by leberre
Branch: MAIN

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/Attic/Lanceur.java

Help