There is a newer version of this record available.

Software Open Access

jrclogic/SMCDEL: v1.0.0

Malvin Gattinger

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

Files (2.0 MB)
Name Size
jrclogic/SMCDEL-v1.0.0.zip
md5:628e5cfc6c3f70fe723cd5d685ea1771
2.0 MB Download
49
2
views
downloads
All versions This version
Views 4931
Downloads 20
Data volume 4.9 MB0 Bytes
Unique views 3627
Unique downloads 20

Share

Cite as