maven-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Oleg Gusakov (JIRA)" <j...@codehaus.org>
Subject [jira] Updated: (MARTIFACT-20) Introduce the use of a SAT solver
Date Wed, 11 Jun 2008 05:52:13 GMT

     [ http://jira.codehaus.org/browse/MARTIFACT-20?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]

Oleg Gusakov updated MARTIFACT-20:
----------------------------------

    Attachment: patch-mercury-2008-06-10_22-42_PST.txt

SAT resolver works !!!

MetadataTreeNode has been reworked heavily, ArtifactMetadata has some changes, Resolver 90%
rewritten.

Need more tests ( read tree from a file would help a lot )

Next big steps:
- optimization function - a.k.a. "Policy"
- explanation function
- tree creation / scoping

> Introduce the use of a SAT solver
> ---------------------------------
>
>                 Key: MARTIFACT-20
>                 URL: http://jira.codehaus.org/browse/MARTIFACT-20
>             Project: Maven Artifact
>          Issue Type: New Feature
>            Reporter: Jason van Zyl
>            Assignee: Jason van Zyl
>         Attachments: patch-mercury-2008-06-01_10-42_PST.txt, patch-mercury-2008-06-01_20-14_PST.txt,
patch-mercury-2008-06-04_21-37_PST.txt, patch-mercury-2008-06-08_23-37_PST.txt, patch-mercury-2008-06-10_22-42_PST.txt,
sat4j-2.0.0-local-repo.jar
>
>
> Try using the same SAT solver that p2 is using to resolve ranges of dependencies.

-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: http://jira.codehaus.org/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira

        

Mime
View raw message