Institute for Logic, Language and Computation

There is a newer version of the record available.

Published February 26, 2018 | Version v1.0.0
Software Open

jrclogic/SMCDEL: v1.0.0

Creators

  • 1. @jrclogic

Description

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

jrclogic/SMCDEL-v1.0.0.zip

Files (2.0 MB)

Name Size Download all
md5:628e5cfc6c3f70fe723cd5d685ea1771
2.0 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/jrclogic/SMCDEL/tree/v1.0.0 (URL)