- 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.
View online : The BDDC Page
Contact | Site Map | Site powered by SPIP 3.2.19 + AHUNTSIC [CC License]
info visites 2015552