| Name | Size | Type | Last Modified |
|---|---|---|---|
| Parent Directory | |||
| META.json | 1492 | text/plain | Thu, 05 Apr 2012 11:26:06 GMT |
| Makefile | 396 | text/plain | Thu, 05 Apr 2012 11:26:06 GMT |
| README.md | 2505 | text/plain | Thu, 05 Apr 2012 11:26:06 GMT |
| godel_logic.control | 160 | text/plain | Thu, 05 Apr 2012 11:26:06 GMT |
| lukasiewicz_logic.control | 171 | text/plain | Thu, 05 Apr 2012 11:26:06 GMT |
| product_logic.control | 161 | text/plain | Thu, 05 Apr 2012 11:26:06 GMT |
| sql/ | 4096 | directory | Thu, 05 Apr 2012 11:26:06 GMT |
| test/ | 4096 | directory | Thu, 05 Apr 2012 11:26:06 GMT |