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