[
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-15_22-39_PST.txt
MetadataTree builder phase written, tests next (none yet ..)
> 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: mercury.tgz, 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,
> patch-mercury-2008-06-12_16-08_PST.txt,
> patch-mercury-2008-06-15_10-20_PST.txt,
> patch-mercury-2008-06-15_22-39_PST.txt, sat4j-2.0.0-local-repo.jar
>
> Original Estimate: 0 minutes
> Remaining Estimate: 0 minutes
>
> 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
