• Software distribution and licensing: Public binary distribution
  • Software maturity: Well-tested software, good documentation
  • Software Maintenance and Evolution: Basic maintenance to keep the software alive, no future plans

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.

Voir en ligne : The BDDC Page

Contact | Plan du site | Site réalisé avec SPIP 3.1.12 + AHUNTSIC [CC License]

info visites 1569898