Verimag

BDDC v2

A command-line logical calculor : enter a Boolean predicate and get the equivalent ``minimal’’ one. Based on the Binary Decision Diagrams library of the Lustre compiler.

View online : The BDDC Page

Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 936860