https://github.com/scaryPonens/psoa2tptp
Tip revision: 33d452a24aae64d261d55b8471e993bd531a97aa authored by zougen04 on 24 August 2015, 13:21:58 UTC
Tip revision: 33d452a
File | Mode | Size |
---|---|---|
PSOA2X | ||
PSOATransRun | ||
PSOATransRunWebService | ||
ruleml-api | ||
tptp-parser | ||
README | -rw-r--r-- | 1.8 KB |
pom.xml | -rw-r--r-- | 563 bytes |