Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / fuzzy @ 48a72851

Name Size
fuzzy.ml 7.67 KB

Latest revisions

# Date Author Comment
48a72851 08/21/2014 12:18 AM Dominik Paulus

Don't throw exception and crash on invalid input

6f1cc141 08/20/2014 08:50 PM Dominik Paulus

Lots of fixes

14164a0d 08/20/2014 03:49 PM Dominik Paulus

Proper return value checking

7165531e 07/26/2014 01:03 PM Dominik Paulus

Bar

0cd56fc0 07/17/2014 12:43 PM Dominik Paulus

Add proof-of-concept atomic ABox solver

77299856 07/17/2014 12:43 PM Dominik Paulus

replace/collapse stuff

c6b0b985 07/17/2014 12:43 PM Dominik Paulus

Parse inequalities instead of simple assertions

5e4644fe 07/17/2014 12:43 PM Dominik Paulus

PoC Fuzzy ALC stuff

View revisions

Also available in: Atom