You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@maven.apache.org by "Jason van Zyl (JIRA)" <ji...@codehaus.org> on 2008/06/01 19:52:54 UTC
[jira] Created: (MARTIFACT-20) Introduce the use of a SAT solver
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
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
[jira] Updated: (MARTIFACT-20) Introduce the use of a SAT solver
Posted by "Oleg Gusakov (JIRA)" <ji...@codehaus.org>.
[ http://jira.codehaus.org/browse/MARTIFACT-20?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Oleg Gusakov updated MARTIFACT-20:
----------------------------------
Attachment: mercury.tgz
issues with SVN diff, including the tarball
> 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, 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
[jira] Updated: (MARTIFACT-20) Introduce the use of a SAT solver
Posted by "Oleg Gusakov (JIRA)" <ji...@codehaus.org>.
[ 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_10-20_PST.txt
small intermediate changes. Moving towards 3-phase resolution process
> 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, 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
[jira] Updated: (MARTIFACT-20) Introduce the use of a SAT solver
Posted by "Oleg Gusakov (JIRA)" <ji...@codehaus.org>.
[ 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
[jira] Updated: (MARTIFACT-20) Introduce the use of a SAT solver
Posted by "Oleg Gusakov (JIRA)" <ji...@codehaus.org>.
[ 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-12_16-08_PST.txt
Summary patch to sync the project.
To compile/test you'll need SAT4J 2.0.0 - see another attachment
> 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, patch-mercury-2008-06-12_16-08_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
[jira] Commented: (MARTIFACT-20) Introduce the use of a SAT solver
Posted by "Oleg Gusakov (JIRA)" <ji...@codehaus.org>.
[ http://jira.codehaus.org/browse/MARTIFACT-20?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=142130#action_142130 ]
Oleg Gusakov commented on MARTIFACT-20:
---------------------------------------
commited last changes to the resolver, it is (seem to) now functionally complete. Need throughout testing and connection to transport functionality.
Next I will have to
* design Transport API's
* adopt MetadataSource and HTTP client to those
* testing, testing, testing ...
> 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: Oleg Gusakov
> 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, patch-mercury-2008-06-16_23-01_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
[jira] Updated: (MARTIFACT-20) Introduce the use of a SAT solver
Posted by "Oleg Gusakov (JIRA)" <ji...@codehaus.org>.
[ http://jira.codehaus.org/browse/MARTIFACT-20?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Oleg Gusakov updated MARTIFACT-20:
----------------------------------
Attachment: sat4j-2.0.0-local-repo.jar
SAT4J distro 2.0.0 in the format of local repo. Needed for the new resolution as it does not require # of literals beforehand.
Still debugging the implementation.
> 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, 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
[jira] Updated: (MARTIFACT-20) Introduce the use of a SAT solver
Posted by "Oleg Gusakov (JIRA)" <ji...@codehaus.org>.
[ 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-08_23-37_PST.txt
Complete rewrite, unit tests don't work yet. They will follow soon.
Main change - OR groups are gone, switched to the complete tree structure.
This will require a rewrite of the MetadataTreeNode - enable real ranges, not just a List<String>
> 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
>
>
> 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
[jira] Updated: (MARTIFACT-20) Introduce the use of a SAT solver
Posted by "Oleg Gusakov (JIRA)" <ji...@codehaus.org>.
[ 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-04_21-37_PST.txt
I think I've nailed it, but I have been wrong before.
Testing, testing, testing ...
> 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
> 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
>
>
> 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
[jira] Updated: (MARTIFACT-20) Introduce the use of a SAT solver
Posted by "Oleg Gusakov (JIRA)" <ji...@codehaus.org>.
[ 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-16_23-01_PST.txt
added MockMetadataSource - need it to do Builder and Resolver tests on real data. It reads POMs from local repo, does not process parent :( so should be careful with test artifacts
> 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, patch-mercury-2008-06-16_23-01_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
[jira] Updated: (MARTIFACT-20) Introduce the use of a SAT solver
Posted by "Oleg Gusakov (JIRA)" <ji...@codehaus.org>.
[ 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-01_20-14_PST.txt
The tree we started drawing pictures with now works!
See DefaultSatSolverTest.testResolution()
> 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
> Attachments: patch-mercury-2008-06-01_10-42_PST.txt, patch-mercury-2008-06-01_20-14_PST.txt
>
>
> 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
[jira] Updated: (MARTIFACT-20) Introduce the use of a SAT solver
Posted by "Oleg Gusakov (JIRA)" <ji...@codehaus.org>.
[ 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-01_10-42_PST.txt
patch against Mercury trunk as of indicated (in the file name) date
> 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
> Attachments: patch-mercury-2008-06-01_10-42_PST.txt
>
>
> 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
[jira] Closed: (MARTIFACT-20) Introduce the use of a SAT solver
Posted by "Jason van Zyl (JIRA)" <ji...@codehaus.org>.
[ http://jira.codehaus.org/browse/MARTIFACT-20?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Jason van Zyl closed MARTIFACT-20.
----------------------------------
Resolution: Fixed
All implemented in mercury now.
> 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: Oleg Gusakov
> 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, patch-mercury-2008-06-16_23-01_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
[jira] Commented: (MARTIFACT-20) Introduce the use of a SAT solver
Posted by "Jason van Zyl (JIRA)" <ji...@codehaus.org>.
[ http://jira.codehaus.org/browse/MARTIFACT-20?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=136977#action_136977 ]
Jason van Zyl commented on MARTIFACT-20:
----------------------------------------
Patches applied.
> 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
> Attachments: patch-mercury-2008-06-01_10-42_PST.txt, patch-mercury-2008-06-01_20-14_PST.txt
>
>
> 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
[jira] Updated: (MARTIFACT-20) Introduce the use of a SAT solver
Posted by "Jason van Zyl (JIRA)" <ji...@codehaus.org>.
[ http://jira.codehaus.org/browse/MARTIFACT-20?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Jason van Zyl updated MARTIFACT-20:
-----------------------------------
Remaining Estimate: 0 minutes
Original Estimate: 0 minutes
Latest patch applied.
> 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, 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
[jira] Updated: (MARTIFACT-20) Introduce the use of a SAT solver
Posted by "Oleg Gusakov (JIRA)" <ji...@codehaus.org>.
[ 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