Fri Apr 10 00:35:37+0200 2020
bbcea7b
| name | last commit | date |
 entailment/ | Add rdf utils. | Tue Apr 07 04:55:59+0200 2020 |
 rdf.scm | Simplify constraints also in graph isomorphism | Fri Apr 10 00:35:37+0200 2020 |
| utils.scm | Add rdf utils. | Tue Apr 07 04:55:59+0200 2020 |
| xsd.scm | Fix int datatype | Sun Apr 05 16:17:22+0200 2020 |