- EYE is a reasoning engine supporting the [RGB semantic web layers] (http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a).
- It is a semibackward reasoner enhanced with [Euler path] (http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html) detection.
- Via [N3] (http://www.w3.org/TeamSubmission/n3/) it is interoperable with [Cwm] (http://www.w3.org/2000/10/swap/doc/cwm).
- EYE can be installed manually on [Linux] (README.Linux), [Windows] (README.Windows) and [MacOSX] (README.MacOSX).
- EYE is also available in a [Docker container for command line use] (https://registry.hub.docker.com/u/bdevloed/eye/) and in a [Docker container for HTTP client use] (https://registry.hub.docker.com/u/bdevloed/eyeserver/).
-
Notifications
You must be signed in to change notification settings - Fork 0
Euler Yet another proof Engine -- Inofficial Debian Package (run `gbp buildpackage -uc -us`)
License
uholzer/euler-proof-engine-debian
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Euler Yet another proof Engine -- Inofficial Debian Package (run `gbp buildpackage -uc -us`)
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published