Searched +path:softfol +path:tests (Results 1 - 9 of 9) sorted by relevance
| /hets/SoftFOL/tests/ | ||
| H A D | CMDL_tests.hs | |
| H A D | PrintTPTPTests.hs | |
| H A D | PrintTests.hs | |
| H A D | SPASSTest.het | |
| H A D | SPASSTest.hpf | |
| H A D | Sokrates.hs | |
| H A D | asym.tptp | |
| H A D | check.sh | |
| H A D | checkMathServe.pl | |
Completed in 3641 milliseconds