{"action":"created","issue":{"url":"https://api.github.com/repos/ocaml/opam/issues/2261","labels_url":"https://api.github.com/repos/ocaml/opam/issues/2261/labels{/name}","comments_url":"https://api.github.com/repos/ocaml/opam/issues/2261/comments","events_url":"https://api.github.com/repos/ocaml/opam/issues/2261/events","html_url":"https://github.com/ocaml/opam/issues/2261","id":95854543,"number":2261,"title":"document the existence of external solvers better","user":{"login":"gasche","id":426238,"avatar_url":"https://avatars.githubusercontent.com/u/426238?v=3","gravatar_id":"","url":"https://api.github.com/users/gasche","html_url":"https://github.com/gasche","followers_url":"https://api.github.com/users/gasche/followers","following_url":"https://api.github.com/users/gasche/following{/other_user}","gists_url":"https://api.github.com/users/gasche/gists{/gist_id}","starred_url":"https://api.github.com/users/gasche/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gasche/subscriptions","organizations_url":"https://api.github.com/users/gasche/orgs","repos_url":"https://api.github.com/users/gasche/repos","events_url":"https://api.github.com/users/gasche/events{/privacy}","received_events_url":"https://api.github.com/users/gasche/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/ocaml/opam/labels/doc","name":"doc","color":"02e10c"}],"state":"closed","locked":false,"assignee":null,"milestone":{"url":"https://api.github.com/repos/ocaml/opam/milestones/20","html_url":"https://github.com/ocaml/opam/milestones/1.3","labels_url":"https://api.github.com/repos/ocaml/opam/milestones/20/labels","id":852093,"number":20,"title":"1.3","description":"","creator":{"login":"AltGr","id":807966,"avatar_url":"https://avatars.githubusercontent.com/u/807966?v=3","gravatar_id":"","url":"https://api.github.com/users/AltGr","html_url":"https://github.com/AltGr","followers_url":"https://api.github.com/users/AltGr/followers","following_url":"https://api.github.com/users/AltGr/following{/other_user}","gists_url":"https://api.github.com/users/AltGr/gists{/gist_id}","starred_url":"https://api.github.com/users/AltGr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/AltGr/subscriptions","organizations_url":"https://api.github.com/users/AltGr/orgs","repos_url":"https://api.github.com/users/AltGr/repos","events_url":"https://api.github.com/users/AltGr/events{/privacy}","received_events_url":"https://api.github.com/users/AltGr/received_events","type":"User","site_admin":false},"open_issues":25,"closed_issues":35,"state":"open","created_at":"2014-11-04T00:45:33Z","updated_at":"2015-07-24T05:45:22Z","due_on":null,"closed_at":null},"comments":9,"created_at":"2015-07-18T19:49:49Z","updated_at":"2015-07-27T10:11:21Z","closed_at":"2015-07-24T05:45:22Z","body":"Today I tried to point an OPAM user on the caml-list to a documentation of what external solvers are and how to install them. I failed to find such a page. The best I could find is the [Specifying Solver Preferences](https://opam.ocaml.org/doc/Specifying_Solver_Preferences.html) page that seems to have evolved to have a bit of this information (but is too advanced for beginners), and the [online solver farm](http://cudf-solvers.irill.org/index.html) page that takes a different approach.\r\n\r\nThis issue is related to #1267 , but I don't think it is a duplicate. #1267 is about making external solvers easy to install, but right now there is not even an easy-to-find description of what they *are* and are useful for, which is orthogonal."},"comment":{"url":"https://api.github.com/repos/ocaml/opam/issues/comments/125155111","html_url":"https://github.com/ocaml/opam/issues/2261#issuecomment-125155111","issue_url":"https://api.github.com/repos/ocaml/opam/issues/2261","id":125155111,"user":{"login":"AltGr","id":807966,"avatar_url":"https://avatars.githubusercontent.com/u/807966?v=3","gravatar_id":"","url":"https://api.github.com/users/AltGr","html_url":"https://github.com/AltGr","followers_url":"https://api.github.com/users/AltGr/followers","following_url":"https://api.github.com/users/AltGr/following{/other_user}","gists_url":"https://api.github.com/users/AltGr/gists{/gist_id}","starred_url":"https://api.github.com/users/AltGr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/AltGr/subscriptions","organizations_url":"https://api.github.com/users/AltGr/orgs","repos_url":"https://api.github.com/users/AltGr/repos","events_url":"https://api.github.com/users/AltGr/events{/privacy}","received_events_url":"https://api.github.com/users/AltGr/received_events","type":"User","site_admin":false},"created_at":"2015-07-27T10:11:21Z","updated_at":"2015-07-27T10:11:21Z","body":"Links to the source should now appear in the footer (once the patches propagage) :)"}}