satore

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

Build status: ok passing tests

Documentation README Download
Authors
Documentation
Tags
Last updatedThursday, September 30th, 2021 12:35:33pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/deepmind/deepmind-research.git?path=satore3257aa38333f6e80e5cd7a03b1ce3af17d405256
Last checkedTuesday, October 26th, 2021 5:02:40pm (UTC)
Last editedTuesday, March 9th, 2021 4:31:22pm (UTC)
Date addedTuesday, March 9th, 2021 4:17:43pm (UTC)
Modules
  • satore/main.rkt
  • satore/log.rkt
  • satore/tests/unification.rkt
  • satore/Clause.rkt
  • satore/scribblings/satore.scrbl
  • satore/rewrite-tree.rkt
  • satore/clause.rkt
  • satore/tests/trie.rkt
  • satore/tests/rewrite-tree.rkt
  • satore/saturation.rkt
  • satore/tests/Clause.rkt
  • satore/tests/saturation.rkt
  • satore/tptp.rkt
  • satore/unification-tree.rkt
  • satore/tests/stress-test1.rkt
  • satore/tests/confluence.rkt
  • satore/trie.rkt
  • satore/interact.rkt
  • satore/tests/unification-tree.rkt
  • satore/json-output.rkt
  • satore/misc.rkt
  • satore/unification.rkt
  • satore/clause-format.rkt
  • satore/tests/misc.rkt
  • satore/tests/interact.rkt
  • satore/tests/clause.rkt