文件名称:张量
文件大小:18KB
文件格式:ZIP
更新时间:2024-03-08 20:16:24
Python
张量
【文件预览】:
tensorkanren-main
----storage.py(0B)
----core.py(9KB)
----types.py(2KB)
----util.py(3KB)
----dispatch.py(139B)
----facts.py(6KB)
----variable.py(1KB)
----term.py(840B)
----__init__.py(499B)
----number_relations.py(5KB)
----substitution.py(6KB)
----arith.py(2KB)
----goals.py(7KB)
----.gitignore(14B)
----assoccomm.py(8KB)
----README.md(15B)
----unification.py(943B)