All modules for which code is available

• pyMentalModels.custom_logical_classes
• pyMentalModels.infer
• pyMentalModels.mental_model
• pyMentalModels.modal_parser
• pyMentalModels.numpy_reasoner
• pyMentalModels.pretty_printing
• pyMentalModels.tests.test_infer
• pyMentalModels.tests.test_lisp_cases
• pyMentalModels.tests.test_numpy_helper
• pyMentalModels.tests.test_numpy_models
• pyMentalModels.tests.test_parsing
• sympy.core.assumptions