software . 2018

jrclogic/SMCDEL: v1.0.0

Malvin Gattinger;
Open Source
  • Published: 01 Jan 2018
  • Publisher: Zenodo
Abstract
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
Download from
Open Access
Zenodo
Software . 2018
Provider: Datacite
Open Source
Zenodo
Software . 2018
Provider: Zenodo
Any information missing or wrong?Report an Issue