PBD4

Notoriété 7 %

PBD4 est une implémentation basée sur les formules pseudo-booléennes du compilateur D4 et du compteur de modèles. Il est écrit en Java et conçu pour être facilement extensible et réutilisable.

Dépôt de code

https://github.com/crillab/pbd4 (nouvelle fenêtre)1 étoiles

Cas d'utilisation métiers

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Enseignement supérieur, de la Recherche et de l'Espace
    - Universités - Ministère chargé de l'Enseignement supérieur
      - Université d'Artois - Arras (organisation rattachée)

Outils utilisés

Description générée le mardi 19 mars 2024 à 09:32:50

D'autres initiatives de la même organisation

Université d'Artois
univ-artois.fr
gophersat
github.com/crillab/gophersat
d4
github.com/crillab/d4
d4v2
github.com/crillab/d4v2