From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 67CE87FB0A for ; Fri, 28 Nov 2014 14:40:01 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.07,477,1413237600"; d="asc'?scan'208";a="110076322" Received: from dhcp148.dmi.ens.fr (HELO triptrop) ([129.199.97.148]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 28 Nov 2014 14:40:01 +0100 Received: by triptrop (Postfix, from userid 1000) id 36E099C0086; Fri, 28 Nov 2014 14:39:58 +0100 (CET) Date: Fri, 28 Nov 2014 14:39:58 +0100 From: Timothy Bourke To: OCaml list Cc: Jun Inoue , Marc Pouzet Message-ID: <20141128133958.GA6607@tbrk.org> Mail-Followup-To: OCaml list , Jun Inoue , Marc Pouzet MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="HcAYCG3uE/tztfnV" Content-Disposition: inline X-PGP-Key: http://www.tbrk.org/pubkey.txt User-Agent: Mutt/1.5.23 (2014-03-12) X-Validation-by: timothy.bourke@inria.fr Subject: [Caml-list] Sundials/ML 2.5.0 --HcAYCG3uE/tztfnV Content-Type: text/plain; charset=us-ascii Content-Disposition: inline We are pleased to announce Sundials/ML, an OCaml interface to the Sundials suite of numerical solvers (CVODE, CVODES, IDA, IDAS, KINSOL). Information and documentation: http://inria-parkas.github.io/sundialsml/ Source code (BSD): https://github.com/inria-parkas/sundialsml opam install sundialsml # (requires Sundials 2.5.0) We gratefully acknowledge the original authors of Sundials, and the support of the ITEA 3 project 11004 MODRIO (Model driven physical systems operation), Inria, and the Departement d'Informatique de l'ENS. Timothy Bourke, Jun Inoue, and Marc Pouzet. --HcAYCG3uE/tztfnV Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAEBCAAGBQJUeHsuAAoJEB0IGtgvGtddunoIAL74r3lhk+jrr8p2d86NQeRl oIuKGNwAQFQaYZznB03NoAdiY1RmSQFQjhQ9Qi7T411d6o4sc67LeqZeYCHe+1YK XeAWFCXiEpB5a5oNV1ryhq6Sjn402jio1/mz2a03qVRZBtK4fInMwhI/HKSl5oi1 DhlhXgsTyz2jx4QapQ7Gp6eVDIuns+uFUoV/q4s+2CiJ2MKarVsUfGkss+DmjTeH NTJ/ROmPJSKCzLhb9TFapynQKvV3f0Ihc0ORjzg5yCC+Hoxp4gPz+XHWdY4aCqZP cmj7cOfH08U61uzEnhws7R3j1s0Qif3jdGK5BYmKXa7Q6rCpwp1pTFA9IaTPazU= =cEXm -----END PGP SIGNATURE----- --HcAYCG3uE/tztfnV--