![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| plTrueInverse.test | 2022-09-29 12:27 | 806 | |
| entails.test | 2022-09-29 12:27 | 658 | |
| plTrueInverse.solution | 2022-09-29 12:27 | 572 | |
| correctSentence3.solution | 2022-09-29 12:27 | 464 | |
| findModelSentence3.solution | 2022-09-29 12:27 | 370 | |
| findModelSentence3.test | 2022-09-29 12:27 | 288 | |
| findModelSentence1.test | 2022-09-29 12:27 | 269 | |
| findModelSentence2.test | 2022-09-29 12:27 | 267 | |
| findModelCheck.test | 2022-09-29 12:27 | 253 | |
| correctSentence3.test | 2022-09-29 12:27 | 242 | |
| correctSentence2.solution | 2022-09-29 12:27 | 230 | |
| correctSentence2.test | 2022-09-29 12:27 | 221 | |
| correctSentence1.test | 2022-09-29 12:27 | 221 | |
| correctSentence1.solution | 2022-09-29 12:27 | 208 | |
| findModelSentence1.solution | 2022-09-29 12:27 | 199 | |
| entails.solution | 2022-09-29 12:27 | 185 | |
| findModelCheck.solution | 2022-09-29 12:27 | 172 | |
| findModelSentence2.solution | 2022-09-29 12:27 | 170 | |
| CONFIG | 2022-09-29 12:27 | 48 | |