tnreason/__init__.py,sha256=Lp1BNO9B5aiE7jUr-c_e_cLHCxR6ab1tgaLpCwnbdRs,25
tnreason/learning/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tnreason/learning/check_cores.py,sha256=Sk8MhtLNULu8l0Z95IKpAC_jmfY-2OQ-soBP4zkgBeM,394
tnreason/learning/expression_learning.py,sha256=7XtXdHN_3h_Mu-Rx38c5MzAQX2_OZCgDP5MvnaH9cUc,7631
tnreason/learning/mln_learning.py,sha256=Ss-55kV7DT9NJK52ph4tiyw6rDbvJOoNjJzn9VRJsNM,3506
tnreason/logic/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tnreason/logic/basis_calculus.py,sha256=ia3-sQqhfSrbefY86WpBHk4b4b7JwwgkJhjickUk9i0,4672
tnreason/logic/coordinate_calculus.py,sha256=hIjW8_zKUUGd8SL4XKljizs2foniIdg2ylkj2xCd1eg,7516
tnreason/logic/expression_calculus.py,sha256=6hvFf403UhJdo2D142kf6rLwg22-xNlxWkkKkKBZ3lI,5452
tnreason/logic/expression_generation.py,sha256=2WEVhLwUmk2Y5fEHQFTnmKROKS1dvMxROcD4WnbI74c,3696
tnreason/logic/expression_visualization.py,sha256=Xw71lXgIg05gKzLO9Ly2QtnRotSqfBVZ2wmfoPDd-vw,2799
tnreason/logic/optimization_calculus.py,sha256=Bbz61Vv5YHp52PBMvHSwcYvIOmNlqg6m7h3Zv2fZLgs,2876
tnreason/logic/satisfaction_counter.py,sha256=ecOGZ3_RkoAGLIeBoeG91Eiz0qoFHwjEwfGlm423p9E,2502
tnreason/logic/sparse_cc.py,sha256=RZOzPTh1tnOSeGce95SVY647E764K_1uQkiuq0koOUM,442
tnreason/model/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tnreason/model/generate_test_data.py,sha256=BYwdo7sRhOJp2eesGVd5SFx1Tj2KjAXUB22pyK_jMWg,659
tnreason/model/markov_logic_network.py,sha256=cn1cxP3fgn2MAA-auQhqrhAROP57cyhRFllQznaQYHk,5795
tnreason/optimization/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tnreason/optimization/generalized_als.py,sha256=uGvULChVXW_xvr76yu_BAG54OUoMsuoBTvcBREgiwtE,5677
tnreason/optimization/pracmln_weight_estimation.py,sha256=2NHKUItj4O2RaJN4G8XKpVOjhL3lZs2c15m83nZ1rQ4,1803
tnreason/optimization/weight_estimation.py,sha256=SFq2rZGSU_oIWj-QJwJgK7RHK1vE78u_DemHKQlYTyk,3270
tnreason/representation/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tnreason/representation/csv_to_ttl.py,sha256=KK-zINcscdRXxFHMJcpyWurUS-QX3OVnrw9MUsCbCXs,467
tnreason/representation/factdf_to_cores.py,sha256=8h1NeLwQ8ASQSs3avuJA-By0w2klPGeq332ME1WgPKg,2631
tnreason/representation/pairdf_to_cores.py,sha256=82LNsYJyOJRi-WDsJTZsKES9LiAmVee-GQDwv5Z6KCE,828
tnreason/representation/sampledf_to_cores.py,sha256=xvWHxkn_cY54GOl58HWgHdhFFbF5K3t7FlkOOf8UTw0,1453
tnreason/representation/sampledf_to_factdf.py,sha256=k0lBbAd0_9hAOrNY8kkVs4XNowc8VYvrRudbGW7GxQg,1563
tnreason/representation/sampledf_to_pairdf.py,sha256=H6RvkQ8ouCYbmi-BwgAsDMPcjckr5hc9HJDHDz7281Y,830
tnreason/representation/sparse_generator.py,sha256=aDFuNapKuKHN5VsgAbtbv0hQe2wBvNrZhbP1Vya9bBM,2510
tnreason/representation/ttl_to_csv.py,sha256=fn8BhKlarPY7D37X0juf6AzUmTNG6WwU-yR9eluAyrM,1364
tnreason-0.0.dist-info/LICENSE,sha256=ILBn-G3jdarm2w8oOrLmXeJNU3czuJvVhDLBASWdhM8,34522
tnreason-0.0.dist-info/METADATA,sha256=mn2_IX2HeaLNYm_BbrSX-jV8X0LKBuTmJ2Bw1fPcKXg,2926
tnreason-0.0.dist-info/WHEEL,sha256=Xo9-1PvkuimrydujYJAjF7pCkriuXBpUPEjma1nZyJ0,92
tnreason-0.0.dist-info/top_level.txt,sha256=oR_DGhR3kAP7qwZNbuNomKJOdVGZ9B_Usu4AH_Tqi5w,9
tnreason-0.0.dist-info/RECORD,,
