1184686
doi
10.5281/zenodo.1184686
oai:zenodo.org:1184686
user-illc
jrclogic/SMCDEL: v1.0.0
Malvin Gattinger
@jrclogic
url:https://github.com/jrclogic/SMCDEL/tree/v1.0.0
info:eu-repo/semantics/openAccess
Other (Open)
<p>New:</p>
<ul>
<li>action models and transformers with factual change</li>
<li><code>NonS5</code> modules, now called <code>K</code>, are no longer experimental</li>
<li>separate types <code>State</code> and <code>World</code></li>
<li>automated testing and benchmarks</li>
<li>lots of bugfixes</li>
</ul>
<p>Removed:</p>
<ul>
<li>support for <code>robbed</code>, <code>NooBDD</code> and <code>Z3</code></li>
<li>old Example files</li>
</ul>
Zenodo
2018-02-26
info:eu-repo/semantics/other
1184685
user-illc
v1.0.0
1645545950.670052
1976620
md5:628e5cfc6c3f70fe723cd5d685ea1771
https://zenodo.org/records/1184686/files/jrclogic/SMCDEL-v1.0.0.zip
public
https://github.com/jrclogic/SMCDEL/tree/v1.0.0
Is supplement to
url
10.5281/zenodo.1184685
isVersionOf
doi