Perico Owlapi Utils
Status: Planning
Brought to you by:
rdenaux
| File | Date | Author | Commit |
|---|---|---|---|
| src | 2011-07-02 |
|
[37c241] Added UnsatisfiableCEConverter and methods in O... |
| .project | 2011-07-04 |
|
[85259c] Included the eclipse .project |
| pom.xml | 2011-06-27 |
|
[c4e51f] Added the CounterAxiomFinder trait, it finds an... |