{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:racket/spindle","name":"spindle","description":"A complete Racket port of SPINdle (v2.2.4), a defeasible logic reasoning system for non-monotonic reasoning where conclusions can be defeated by stronger evidence or superior rules.","codeRepository":"https://codeberg.org/anuna/spindle-racket","keywords":["dsl","logic"],"maintainer":[{"@type":"Person","name":null}],"author":[{"@type":"Person","name":null}],"copyrightHolder":[{"@type":"Person","name":null}],"dateModified":"2026-10-01","datePublished":"2026-10-01","softwareHelp":{"@type":"WebSite","url":"https://docs.racket-lang.org/spindle/index.html"},"applicationCategory":"racket","runtimePlatform":"racket","sameAs":["https://pkgs.racket-lang.org/package/spindle"]}