三库四平台 - 开放源码库〖成熟源码〗

EulerSharp - 项目摘要
摘要 \| 管理 \| 论坛文档 \| 软件包

源码库中源码数量为19216
有贡献人员名单:

-= 更多 =-

ffdshow

jasperreports

PoolMan

Air Traffic Controller

-= 更多 =-

项目描述:

EulerSharp is an inference engine supporting logic based proofs. It is a backward-chaining reasoner enhanced with Euler path detection and will tell you whether a given set of facts and rules supports a given conclusion. It is interoperable with W3C Cwm.

EulerSharp是一个支持基于逻辑的证明的接口引擎。它是一个后向链接推理器，支持欧拉路径检测，可以告诉你给定的一套事实和规则是否支持给定的结论。它能和 W3C Cwm相互使用。
来源: http://sourceforge.net/projects/eulersharp/

类别:

Development Status: 4 - Beta
Environment: Console (Text Based), Web Environment
Intended Audience: Developers
License: GNU General Public License (GPL)
Operating System: Windows NT/2000, Linux
Programming Language: C#
Topic: Testing, Software Development, Networking

发布者： cbd007

最新发布源码包

软件包	版本号	日期	本地下载
Euler-1.1.6	Euler-1.1.6	2004-09-26	下载

原始下载连接(国外)

http://umn.dl.sourceforge.net/sourceforge/eulersharp/Euler-1.1.6.zip

» 合作伙伴