There is a newer version of this record available.

Software Open Access

jrclogic/SMCDEL: v1.0.0

Malvin Gattinger


JSON-LD (schema.org) Export

{
  "description": "<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>", 
  "license": "", 
  "creator": [
    {
      "affiliation": "@jrclogic", 
      "@type": "Person", 
      "name": "Malvin Gattinger"
    }
  ], 
  "url": "https://zenodo.org/record/1184686", 
  "codeRepository": "https://github.com/jrclogic/SMCDEL/tree/v1.0.0", 
  "datePublished": "2018-02-26", 
  "version": "v1.0.0", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.1184686", 
  "@id": "https://doi.org/10.5281/zenodo.1184686", 
  "@type": "SoftwareSourceCode", 
  "name": "jrclogic/SMCDEL: v1.0.0"
}
58
3
views
downloads
All versions This version
Views 5833
Downloads 30
Data volume 7.3 MB0 Bytes
Unique views 4529
Unique downloads 30

Share

Cite as