EulerSharp

Euler Yet another proof Engine

Brought to you by: josd

1 Review

Downloads: 0 This Week

Last Update: 2026-02-04

Download

Get an email when there's a new version of EulerSharp

Linux Windows

EYE [1] is a reasoning engine supporting the Semantic Web layers [2].
It performs controlled chaining and it supports Euler paths [3].
Via N3 [4] it is interoperable with Cwm [5].

[1] http://eulersharp.sourceforge.net/README
[2] http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a
[3] http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html
[4] http://www.w3.org/TeamSubmission/n3/
[5] http://www.w3.org/2000/10/swap/doc/cwm

Project Samples

Project Activity

See All Activity >

License

W3C License

Follow EulerSharp

EulerSharp Web Site

Other Useful Business Software

EasySend is a no-code platform that transforms customer journeys

Defy form limits.  Create digital experiences.

Evolve forms into smart, AI-powered digital workflows that streamline your data intake and elevate customer experiences.

Learn More

Rate This Project

User Ratings

5.0 out of 5 stars

★★★★★

★★★★

★★★

★★

★

ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Filter Reviews:

All

osmunt Posted 2011-01-06

Been using this for > 2 years. Excellent engine! :)

Additional Project Details

Operating Systems

BSD, Linux, Windows

Intended Audience

Developers, Information Technology

User Interface

Web-based

Programming Language

C#, Java, JavaScript, Prolog, Python

Related Categories

C# Software Development Software, C# Networking Software, C# Exam Software, Python Software Development Software, Python Networking Software, Python Exam Software, Prolog Software Development Software, Prolog Networking Software, Prolog Exam Software, JavaScript Software Development Software, JavaScript Networking Software, JavaScript Exam Software, Java Software Development Software, Java Networking Software, Java Exam Software

Registered

2003-03-22

Similar Business Software

All in One Accessibility

It is an AI accessibility widget to enable websites to be accessible among people with hearing or vision & motor impaired, color blind, dyslexia, cognitive & learning impairments, seizure & epileptic, ADHD, elderly, & Parkinson. It installs in just 2 minutes. It reduces the risk of...

See Software
AddSearch

AddSearch is a unified search, AI-answers, and conversational-AI platform used by 1,800+ organizations. Three layers in one platform: keyword search with AI ranking and personalization; content-grounded AI answers with no hallucinations; conversational AI with multi-turn dialogue. Built for...

See Software
PathSolutions TotalView

PathSolutions TotalView network monitoring and troubleshooting software bridges the gap between NETWORK MONITORING and TROUBLESHOOTING RESOLUTION telling you WHEN, WHERE and WHY network errors occur. PathSolutions TotalView continuously monitors and tracks the performance of every device and...

See Software
Nutrient SDK

Nutrient is the comprehensive solution for all your PDF needs, offering tools that effortlessly integrate and operate PDF functionality across any platform. 1. SDK PRODUCTS Integrate robust PDF functionality into iOS, Android, Windows, web (JavaScript), or any cross-platform technology,...

See Software
Apify

Apify is a full-stack web scraping and automation platform helping anyone get value from the web. At its core is Apify Store, a marketplace with over 10,000 Actors where developers build, publish, and monetize automation tools. Actors are serverless cloud programs that extract data, automate...

See Software
Process Street

Process Street is an AI-powered compliance operations platform that automates complex workflows, enforces standards, and tracks audit data in real time. Teams use it to create structured SOPs, assign tasks, collect data, and monitor execution with intelligent oversight. From onboarding and...

See Software

Report inappropriate content

EasySend is a no-code platform that transforms customer journeys

Defy form limits.  Create digital experiences.

Evolve forms into smart, AI-powered digital workflows that streamline your data intake and elevate customer experiences.

Learn More

Recommended Projects

MeV
Please use WebMeV for all NGS and Microarray analysis: http://mev.tm4.org/
8085asm - Simple 8085 assembler
Simple 8085 assembler and disassembler for educational use. The 8085asm generates the map file and intel hex file. It support the directives EQU, ORG, DB, DS and END.
org-ql
An Org-mode query language, including search commands and saved views
android-x86
A project to bring Android to the x86 platform
e107Dutch
e107Dutch is the home of the Dutch community of e107 (http://e107.org). e107 is a website system written in php and mySQL. e107Dutch provides complete translation in Dutch of the original script and of its plugins, and gives support to Dutch people.