Project

General

Profile

Statistics
| Branch: | Revision:

cool / src @ 17dae482

Name Size
  coalg
  coalgcompare
  fuzzy
  lib
  owl
  testsuite

Latest revisions

# Date Author Comment
17dae482 08/21/2014 12:06 AM Dominik Paulus

Less + in output...

ca3d06cb 08/21/2014 12:03 AM Dominik Paulus

Some output beautification

a0ad2fd9 08/20/2014 11:38 PM Dominik Paulus

Clean up FuzzyALCReasoner

79319a4e 08/20/2014 11:38 PM Dominik Paulus

Clean up FuzzyALCABox

947cb55b 08/20/2014 11:19 PM Dominik Paulus

Silence some warnings

0e416509 08/20/2014 11:09 PM Dominik Paulus

Use multiset for storing assertions

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

Lots of fixes

bc0e1ded 08/20/2014 06:57 PM Dominik Paulus

Fix stupid bug in toAssertion

2061032f 08/20/2014 06:08 PM Dominik Paulus

Optimization: Let negation elimination prune

643083bb 08/20/2014 05:41 PM Dominik Paulus

Output status of solvability

View revisions

Also available in: Atom