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\propositional\TruthTableGenerator.java
47 3 -
A
src\main\java\com\llat\auth\Login.java
 2 -
A
src\main\java\com\llat\algorithms\LogicallyContradictoryDeterminer.java
6 4 -
A
src\main\java\com\llat\algorithms\TexPrinter.java
9 1 -
A
src\main\java\com\llat\algorithms\TexTruthTreePrinter.java
4 1 -
A
src\main\java\com\llat\algorithms\ClosedTreeDeterminer.java
15 3 -
A
src\main\java\com\llat\algorithms\LogicallyContraryDeterminer.java
7 5 -
A
src\main\java\com\llat\algorithms\WffAlgorithm.java
2 2 -
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\PDFTruthTreePrinter.java
4 2 -
A
src\main\java\com\llat\algorithms\propositional\TexTablePrinter.java
10 5 -
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\NDStep.java
3 2 -
A
src\main\java\com\llat\algorithms\LogicalFalsehoodDeterminer.java
5 4 -
A
src\main\java\com\llat\algorithms\LogicallyImpliedDeterminer.java
6 4 -
A
src\main\java\com\llat\algorithms\models\NDWffTree.java
27 2 -
A
src\main\java\com\llat\algorithms\predicate\BoundVariableDetector.java
10 3 -