main
Logic-Learning-Assistance-Tool
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
src\main\java\com\llat\algorithms\models\NDFlag.java
 2 -
A
src\main\java\com\llat\algorithms\LogicallyEquivalentDeterminer.java
6 4 -
A
src\main\java\com\llat\algorithms\models\NDWffTree.java
27 2 -
A
src\main\java\com\llat\algorithms\LogicalFalsehoodDeterminer.java
5 4 -
A
src\main\java\com\llat\algorithms\predicate\BoundVariableDetector.java
10 3 -
A
src\main\java\com\llat\algorithms\MainOperatorDetector.java
7 7 -
A
src\main\java\com\llat\algorithms\predicate\ClosedSentenceDeterminer.java
3 3 -
A
src\main\java\com\llat\algorithms\predicate\OpenSentenceDeterminer.java
2 3 -
A
src\main\java\com\llat\algorithms\PDFParseTreePrinter.java
8 2 -
A
src\main\java\com\llat\algorithms\predicate\RandomPredicateFormulaGenerator.java
31 5 -
A
src\main\java\com\llat\algorithms\LogicallyConsistentDeterminer.java
6 6 -
A
src\main\java\com\llat\algorithms\propositional\PropositionalTruthTreeGenerator.java
17 18 2
A
src\main\java\com\llat\algorithms\PDFTruthTreePrinter.java
4 2 -
A
src\main\java\com\llat\algorithms\propositional\TexTablePrinter.java
10 5 -
A
src\main\java\com\llat\algorithms\BaseTruthTreeGenerator.java
70 12 1
A
src\main\java\com\llat\algorithms\predicate\FreeVariableDetector.java
11 3 -
A
src\main\java\com\llat\algorithms\TexParseTreePrinter.java
8 2 -
A
.github\workflows\maven.yml
 3 -
A
src\main\java\com\llat\algorithms\ArgumentTruthTreeValidator.java
9 3 -
A
src\main\java\com\llat\algorithms\LogicalTautologyDeterminer.java
6 4 -