2lambda123/logics

main

logics

Grade	Name	Complexity	Churn	Issues
A	logics\utils\formula_generators\generators_biased.py	46	1	-
A	logics\utils\formula_generators\generators_unbiased.py		1	-
A	logics\utils\old\G_functions.py	65	1	-
A	logics\utils\old\G_functions_optimized.py	47	1	-
A	logics\utils\old\Q_functions.py	15	1	-
A	logics\utils\old\Q_functions_optimized.py	25	1	-
A	logics\utils\old\formula_parser.py		1	-
A	logics\utils\old\generators_tester.py	42	1	-
A	logics\utils\old\input_validator.py	30	1	1
A	logics\utils\old\logic.py		1	-
A	logics\utils\old\models.py		1	-
A	logics\utils\old\natural_deduction.py	213	1	4
A	logics\utils\old\natural_deduction_solver(old).py	154	1	2
A	logics\utils\old\predicate_nd.py	230	1	3
A	logics\utils\old\propositional_semantics.py	240	1	2
A	logics\utils\old\random_formula_generator.py		1	-
A	logics\utils\old\set_theory.py	15	1	-
A	logics\utils\old\tables.py	59	1	1
A	logics\utils\parsers\__init__.py		2	-
A	logics\utils\parsers\parser_utils.py	122	1	2