CVS log for sat4j/frontend/positronic/satisfiability/naturalnumber/INaturalNumber.java |
 |
|
Up to [OW2-CVS] / sat4j / frontend / positronic / satisfiability / naturalnumber
Request diff between arbitrary revisions
/ Display revisions graphically
Default branch: MAIN
Bookmark a link to:
HEAD
/
(download)
Revision
1.11
/
(view)
- annotate
- [select for diffs]
, Sat Sep 22 01:57:23 2007 UTC (15 months, 2 weeks ago) by ksoileau
Branch:
MAIN
CVS Tags:
Version_2_1_1,
HEAD
Changes since 1.10: +1 -1 lines
Diff to previous 1.10
*** empty log message ***
Revision 1.10
, Sat Aug 25 17:12:01 2007 UTC (16 months, 2 weeks ago) by ksoileau
Branch:
MAIN
CVS Tags:
Version_2_1,
Version_2_0
Changes since 1.9: +0 -0 lines
FILE REMOVED
*** empty log message ***
Revision
1.9
/
(view)
- annotate
- [select for diffs]
, Thu Apr 13 11:24:09 2006 UTC (2 years, 8 months ago) by ksoileau
Branch:
MAIN
Changes since 1.8: +1 -1 lines
Diff to previous 1.8
Added NaturalNumberLeastCommonMultipler class and demo, also updated javadoc.
Revision
1.8
/
(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.7: +1 -1 lines
Diff to previous 1.7
Fixed a bug in NaturalNumberMultiplier, added NaturalNumberRelativelyPrimer, NaturalNumberGreatestCommonDivisor, and other new classes.
Revision
1.7
/
(view)
- annotate
- [select for diffs]
, Sun Apr 9 17:49:13 2006 UTC (2 years, 9 months ago) by ksoileau
Branch:
MAIN
Changes since 1.6: +1 -1 lines
Diff to previous 1.6
Added demos for FredkinGater and ToffoliGater and revised several existing demos. Also added NaturalNumberCompositor, an IProblem which determines whether a NaturalNumber is composite.
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: +1 -1 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]
, Wed Mar 8 03:02:05 2006 UTC (2 years, 10 months ago) by ksoileau
Branch:
MAIN
Changes since 1.4: +1 -1 lines
Diff to previous 1.4
Updated NaturalNumberAdder so that it is satisfied only by values which add together without overflowing the size specified by INaturalNumber.LENGTH. Previously, overflows did not invalidate a solution.
Revision
1.4
/
(view)
- annotate
- [select for diffs]
, Sun Feb 26 00:58:58 2006 UTC (2 years, 10 months ago) by ksoileau
Branch:
MAIN
Changes since 1.3: +1 -1 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:58:22 2006 UTC (2 years, 10 months ago) by ksoileau
Branch:
MAIN
Changes since 1.2: +1 -1 lines
Diff to previous 1.2
Commit 02/23/06
Revision
1.2
/
(view)
- annotate
- [select for diffs]
, Fri Feb 24 00:50:05 2006 UTC (2 years, 10 months ago) by ksoileau
Branch:
MAIN
Changes since 1.1: +1 -1 lines
Diff to previous 1.1
Commit 02/23/06
Revision
1.1.1.2
/
(view)
- annotate
- [select for diffs]
(vendor branch)
, Sat Feb 18 02:56:12 2006 UTC (2 years, 10 months ago) by ksoileau
Branch:
frontend
CVS Tags:
Version_1_3
Changes since 1.1.1.1: +1 -1 lines
Diff to previous 1.1.1.1
Imported at 20:51 CST on 02/17/06.
Revision
1.1.1.1
/
(view)
- annotate
- [select for diffs]
(vendor branch)
, Sun Feb 12 20:54:55 2006 UTC (2 years, 10 months ago) by ksoileau
Branch:
frontend
CVS Tags:
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:55 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