{"action":"created","issue":{"url":"https://api.github.com/repos/haskell/cabal/issues/3582","repository_url":"https://api.github.com/repos/haskell/cabal","labels_url":"https://api.github.com/repos/haskell/cabal/issues/3582/labels{/name}","comments_url":"https://api.github.com/repos/haskell/cabal/issues/3582/comments","events_url":"https://api.github.com/repos/haskell/cabal/issues/3582/events","html_url":"https://github.com/haskell/cabal/issues/3582","id":166811826,"number":3582,"title":"RFC Add external solver","user":{"login":"phadej","id":51087,"avatar_url":"https://avatars.githubusercontent.com/u/51087?v=3","gravatar_id":"","url":"https://api.github.com/users/phadej","html_url":"https://github.com/phadej","followers_url":"https://api.github.com/users/phadej/followers","following_url":"https://api.github.com/users/phadej/following{/other_user}","gists_url":"https://api.github.com/users/phadej/gists{/gist_id}","starred_url":"https://api.github.com/users/phadej/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/phadej/subscriptions","organizations_url":"https://api.github.com/users/phadej/orgs","repos_url":"https://api.github.com/users/phadej/repos","events_url":"https://api.github.com/users/phadej/events{/privacy}","received_events_url":"https://api.github.com/users/phadej/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/haskell/cabal/labels/component:%20cabal-install","name":"component: cabal-install","color":"fef2c0"},{"url":"https://api.github.com/repos/haskell/cabal/labels/type:%20discussion","name":"type: discussion","color":"e99695"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-07-21T12:54:50Z","updated_at":"2016-07-21T13:26:13Z","closed_at":null,"body":"*Shortly:* Allow to use external program for dependency solving.\r\n\r\n*Motivation:* Even after the solver is split into a separate package, plugging new solvers into `cabal-install` would require it to (optionally) depend on new solver packages. Non-dependent - \"plugin\" - approach, where `cabal-install` executes external process would help with this.\r\n\r\nFor example I would like to experiment with SMT solvers, `matrix.h.h.o` might want to use own solver to exploit controversial install plans. Also experimenting with current solver would be easier, as one could have different variants, yet single `cabal` -executable.\r\n\r\n*Details:*\r\n- Input: constraints and preferences (AFAICS what is installed and what we want to be installed are the same from solver point of view,)\r\n- Output: *exact-configuration*\r\n- Format: ?\r\n\r\nping @kosmikus, @grayjay, @ezyang, @BardurArantsson "},"comment":{"url":"https://api.github.com/repos/haskell/cabal/issues/comments/234252190","html_url":"https://github.com/haskell/cabal/issues/3582#issuecomment-234252190","issue_url":"https://api.github.com/repos/haskell/cabal/issues/3582","id":234252190,"user":{"login":"kosmikus","id":293191,"avatar_url":"https://avatars.githubusercontent.com/u/293191?v=3","gravatar_id":"","url":"https://api.github.com/users/kosmikus","html_url":"https://github.com/kosmikus","followers_url":"https://api.github.com/users/kosmikus/followers","following_url":"https://api.github.com/users/kosmikus/following{/other_user}","gists_url":"https://api.github.com/users/kosmikus/gists{/gist_id}","starred_url":"https://api.github.com/users/kosmikus/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kosmikus/subscriptions","organizations_url":"https://api.github.com/users/kosmikus/orgs","repos_url":"https://api.github.com/users/kosmikus/repos","events_url":"https://api.github.com/users/kosmikus/events{/privacy}","received_events_url":"https://api.github.com/users/kosmikus/received_events","type":"User","site_admin":false},"created_at":"2016-07-21T13:26:13Z","updated_at":"2016-07-21T13:26:13Z","body":"@phadej So in this proposal, it's the external solver's responsibility to read the package index?\r\n\r\n(Also, let's talk about SMT at ZuriHac.)"}}
{"actor":{"display_login":"kosmikus"}}