d4

Notoriété 27 %

D4 est un outil permettant de compiler des formules booléennes en décision-DNNF, une représentation efficace pour la résolution de problèmes SAT. Il permet également de vérifier la correction de certificats de décision-DNNF.

Dépôt de code

https://github.com/crillab/d4 (nouvelle fenêtre)22 é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)

Description générée le lundi 18 mars 2024 à 00:28:39

D'autres initiatives de la même organisation

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