« Changelog History


HasCacBDD v0.1.0.1 Release Notes

Release Date: 2019-01-24 // about 5 years ago
    • 🆕 new functions: relabelFun, substit, substitSimul
    • ✅ simplified test suite
    • 👌 improve documentation and hints to get started