There is a newer version of this record available.

Software Open Access

jrclogic/SMCDEL: v1.0.0

Malvin Gattinger


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.1184686", 
  "title": "jrclogic/SMCDEL: v1.0.0", 
  "issued": {
    "date-parts": [
      [
        2018, 
        2, 
        26
      ]
    ]
  }, 
  "abstract": "<p>New:</p>\n<ul>\n<li>action models and transformers with factual change</li>\n<li><code>NonS5</code> modules, now called <code>K</code>, are no longer experimental</li>\n<li>separate types <code>State</code> and <code>World</code></li>\n<li>automated testing and benchmarks</li>\n<li>lots of bugfixes</li>\n</ul>\n<p>Removed:</p>\n<ul>\n<li>support for <code>robbed</code>, <code>NooBDD</code> and <code>Z3</code></li>\n<li>old Example files</li>\n</ul>", 
  "author": [
    {
      "family": "Malvin Gattinger"
    }
  ], 
  "version": "v1.0.0", 
  "type": "article", 
  "id": "1184686"
}
59
3
views
downloads
All versions This version
Views 5934
Downloads 30
Data volume 7.3 MB0 Bytes
Unique views 4630
Unique downloads 30

Share

Cite as