« Changelog History


smcdel v1.0.0 Release Notes

Release Date: 2018-02-26 // over 5 years ago

  • 🆕 New:

    • action models and transformers with factual change
    • NonS5 modules, now called K, are no longer experimental
    • separate types State and World
    • ✅ automated testing and benchmarks
    • 🛠 lots of bugfixes

    ✂ Removed:

    • 👌 support for robbed, NooBDD and Z3
    • old Example files