CVS log for sat4j/frontend/positronic/satisfiability/elements/Problem.java |
 |
|
Up to [OW2-CVS] / sat4j / frontend / positronic / satisfiability / elements
Request diff between arbitrary revisions
/ Display revisions graphically
Default branch: MAIN
Bookmark a link to:
HEAD
/
(download)
Revision
1.15
/
(view)
- annotate
- [select for diffs]
, Sat Sep 22 01:57:34 2007 UTC (15 months, 2 weeks ago) by ksoileau
Branch:
MAIN
CVS Tags:
Version_2_1_1,
HEAD
Changes since 1.14: +13 -17 lines
Diff to previous 1.14
*** empty log message ***
Revision 1.14
, Sat Sep 1 20:40:04 2007 UTC (16 months, 1 week ago) by ksoileau
Branch:
MAIN
CVS Tags:
Version_2_1
Changes since 1.13: +0 -0 lines
FILE REMOVED
*** empty log message ***
Revision
1.13
/
(view)
- annotate
- [select for diffs]
, Thu Aug 23 01:10:33 2007 UTC (16 months, 2 weeks ago) by ksoileau
Branch:
MAIN
CVS Tags:
Version_2_0
Changes since 1.12: +6 -6 lines
Diff to previous 1.12
*** empty log message ***
Revision
1.12
/
(view)
- annotate
- [select for diffs]
, Wed Jan 17 02:45:17 2007 UTC (23 months, 3 weeks ago) by ksoileau
Branch:
MAIN
Changes since 1.11: +17 -8 lines
Diff to previous 1.11
Modified Problem.findModel method.
Revision
1.11
/
(view)
- annotate
- [select for diffs]
, Wed Apr 12 01:14:08 2006 UTC (2 years, 8 months ago) by ksoileau
Branch:
MAIN
Changes since 1.10: +29 -16 lines
Diff to previous 1.10
Fixed a bug in NaturalNumberMultiplier, added NaturalNumberRelativelyPrimer, NaturalNumberGreatestCommonDivisor, and other new classes.
Revision
1.10
/
(view)
- annotate
- [select for diffs]
, Wed Apr 5 22:46:56 2006 UTC (2 years, 9 months ago) by ksoileau
Branch:
MAIN
Changes since 1.9: +1 -1 lines
Diff to previous 1.9
Made a minor update to the solveList(IProblem prob) method of Problem and IProblem.
Revision
1.9
/
(view)
- annotate
- [select for diffs]
, Wed Apr 5 01:02:07 2006 UTC (2 years, 9 months ago) by ksoileau
Branch:
MAIN
Changes since 1.8: +4 -0 lines
Diff to previous 1.8
Added findModel() method to IProblem and Problem. Changed name of BitStringTree to BitStringGraph and changed demos accordingly. Changed name of BitStringTreeConnector to BitStringGraphConnector. Added new class BitStringDigraphConnector.
Revision
1.8
/
(view)
- annotate
- [select for diffs]
, Sat Apr 1 00:51:05 2006 UTC (2 years, 9 months ago) by ksoileau
Branch:
MAIN
Changes since 1.7: +15 -25 lines
Diff to previous 1.7
Added more findToModels methods to Problem and IProblem, fixed a typo in BitStringException, added a new data type: BitStringTree.
Revision
1.7
/
(view)
- annotate
- [select for diffs]
, Sat Mar 18 22:02:44 2006 UTC (2 years, 9 months ago) by ksoileau
Branch:
MAIN
Changes since 1.6: +36 -1 lines
Diff to previous 1.6
Added findTwoModels methods to positronic.satisfiability.elements.IProblem and positronic.satisfiability.elements.Problem. Also added FindTwoModelsDemo.java to package positronic.satisfiability.exceptions.
Revision
1.6
/
(view)
- annotate
- [select for diffs]
, Sat Mar 18 19:21:32 2006 UTC (2 years, 9 months ago) by ksoileau
Branch:
MAIN
Changes since 1.5: +3 -5 lines
Diff to previous 1.5
Added findTwoModels method to positronic.satisfiability.elements.IProblem and positronic.satisfiability.elements.Problem. Also added FindTwoModelsDemo.java to package positronic.satisfiability.exceptions.
Revision
1.5
/
(view)
- annotate
- [select for diffs]
, Sat Mar 18 18:45:48 2006 UTC (2 years, 9 months ago) by ksoileau
Branch:
MAIN
Changes since 1.4: +19 -1 lines
Diff to previous 1.4
Added findTwoModels method to positronic.satisfiability.elements.IProblem and positronic.satisfiability.elements.Problem.
Revision
1.4
/
(view)
- annotate
- [select for diffs]
, Sun Feb 26 00:58:57 2006 UTC (2 years, 10 months ago) by ksoileau
Branch:
MAIN
Changes since 1.3: +115 -81 lines
Diff to previous 1.3
Commit 02/25/06: Moved findModel and solveList methods from PartialSolution to IProblem/Problem interface/class. All demos now use findModel method of solution.
Revision
1.3
/
(view)
- annotate
- [select for diffs]
, Fri Feb 24 00:36:58 2006 UTC (2 years, 10 months ago) by ksoileau
Branch:
MAIN
Changes since 1.2: +6 -6 lines
Diff to previous 1.2
Commit 02/23/06
Revision
1.2
/
(view)
- annotate
- [select for diffs]
, Thu Feb 23 03:36:01 2006 UTC (2 years, 10 months ago) by ksoileau
Branch:
MAIN
Changes since 1.1: +21 -1 lines
Diff to previous 1.1
Developed further the demo TowerOfHanoi, cleaned up some code in util and math packages.
Revision
1.1.1.1
/
(view)
- annotate
- [select for diffs]
(vendor branch)
, Sun Feb 12 20:54:54 2006 UTC (2 years, 10 months ago) by ksoileau
Branch:
frontend
CVS Tags:
Version_1_3,
Version_1_1
Changes since 1.1: +0 -0 lines
Diff to previous 1.1
Revision
1.1
/
(view)
- annotate
- [select for diffs]
, Sun Feb 12 20:54:54 2006 UTC (2 years, 10 months ago) by ksoileau
Branch:
MAIN
Initial revision
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