satore

First order logic theorem prover in CNF without equality but with atom rewrite rules

Build status: ok passing tests missing license metadata

Documentation README Download
Authors
Documentation
Tags
License
    Last updatedSunday, October 6th, 2024 4:49:30am (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/Metaxal/satore.gite56983d7a91a031e909d643489334ec394f06e4e
    Last checkedTuesday, July 1st, 2025 8:58:29am (UTC)
    Last editedMonday, January 31st, 2022 9:00:32pm (UTC)
    Date addedTuesday, March 9th, 2021 4:17:43pm (UTC)
    Modules
    • satore/log.rkt
    • satore/tests/stress-test1.rkt
    • satore/scribblings/satore.scrbl
    • satore/tests/confluence.rkt
    • satore/unification-tree.rkt
    • satore/unification.rkt
    • satore/tests/saturation.rkt
    • satore/tests/clause-struct.rkt
    • satore/tests/unification.rkt
    • satore/misc.rkt
    • satore/rewrite-tree.rkt
    • satore/tests/trie.rkt
    • satore/tests/unification-tree.rkt
    • satore/clause-struct.rkt
    • satore/clause-format.rkt
    • satore/json-output.rkt
    • satore/tests/rewrite-tree.rkt
    • satore/saturation.rkt
    • satore/clause.rkt
    • satore/tptp.rkt
    • satore/tests/interact.rkt
    • satore/tests/misc.rkt
    • satore/trie.rkt
    • satore/main.rkt
    • satore/tests/clause.rkt
    • satore/interact.rkt