SDS-BBLs est une offre de bibliothèques de primitives, ou fonctions de base, pour notre plateforme SDS.

1. Caractéristiques-clés
2. Distributions
3. Cas d’utilisation
4. Tarifs

1. Caractéristiques-clés

• Les bibliothèques disponibles à date concernent :
  • L’algèbre linéaire et l’algèbre multilinéaire.
  • La programmation de type Prolog.
• Les bibliothèques en cours de développement concernent :
  • Le calcul de séquents (intuitionniste ou linéaire).

2. Distributions

Les distributions sont les mêmes que les distributions SDS.

3. Cas d’utilisation

1. Dans le cadre d’un développement sous SDS, vous identifiez le type de primitives, ou de fonctions de base, que les transitions de vos machines à états vont devoir appeler.
2. Vous pouvez choisir :
   1. soit d’écrire ces fonctions vous-mêmes ;
   2. soit de vous doter d’une ou plusieurs de nos bibliothèques sur étagère ;
   3. soit de nous sous-traiter l’élaboration de tout ou partie des bibliothèques dont vous avez besoin dans le cadre d’une prestation de service ;
   4. soit un panachage des trois options ci-dessus.

4. Tarifs

• Les contextes pouvant être très différents, tant qualitativement que quantitativement, il nous semble plus pertinent d’aborder la question tarifaire dans le cadre d’une réponse globale à votre besoin : voici notre formulaire de contact.