From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Fri, 19 Oct 2018 14:33:53 +0000 (+0200)
Subject: Add differentiability definition.
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=66a4e4adb898b5a1c2c53d6455808240cd56f0a1;hp=66a4e4adb898b5a1c2c53d6455808240cd56f0a1;p=Projet_Recherche_Operationnelle.git

Add differentiability definition.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
---