GitHub repository: xavitator/ROBDD-project
Primary language: OCaml
Created: 2019-02-25T09:11:33Z
Description: Implémentation d'un algorithme permettant de construire le ROBDD –canoniquement- associé à une expression booléenne donnée.