[ocaml-platform] User preferences ofr external solvers

Roberto Di Cosmo roberto at dicosmo.org
Sat Jul 12 15:06:30 BST 2014

Dear all,
     you will find detailed explanations about
the solver preferences that are at your disposal
when using external solvers with a package manager
in the slides available here


and in the companion document


There will also be a related presentation at the OCaml 2014 meeting
in Goteborg, where I'll focus on how to use all this in opam,
and I'll be glad to discuss any interesting issues you may raise.

Professeur               En delegation a l'INRIA
PPS                      E-mail: roberto at dicosmo.org
Universite Paris Diderot WWW  : http://www.dicosmo.org
Case 7014                Tel  : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann       
F-75205 Paris Cedex 13   Identica: http://identi.ca/rdicosmo
FRANCE.                  Twitter: http://twitter.com/rdicosmo
MIME accepted, Word deprecated
Office location:
Bureau 3020 (3rd floor)
Batiment Sophie Germain
Avenue de France
Metro Bibliotheque Francois Mitterrand, ligne 14/RER C
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3                        

More information about the Platform mailing list