8000 GitHub - py-typedlogic/py-typedlogic at gh-pages
[go: up one dir, main page]
Skip to content

py-typedlogic/py-typedlogic

BranchesTags

About

Logic plus python types

py-typedlogic.github.io

Topics

python logic prolog datalog z3 common-logic clingo answer-set-programming owl-dl souffle clif description-logic theorem-provers linkml

License

MIT license
Activity
Custom properties

Stars

13 stars

Watchers

1 watching

Forks

1 fork
Report repository

Releases 7

v0.2.0 Latest
Jul 24, 2025
+ 6 releases

Packages

No packages published

Languages
0