agent_logic/__init__.py,sha256=GKD1tueBHiQSYKhsy6uwOyywBQJ3gT_PGldBClwbs6E,1357
agent_logic/cli.py,sha256=JOo0BKVRpt4C_2-ct-lpEt-xqROJNl04GYSyFBeDyCs,3258
agent_logic/core/__init__.py,sha256=A4Tm8i3FAJzSOI1Fu5iAwqSUatRIy0LLw15JKSLpmT8,1251
agent_logic/core/base.py,sha256=IyzHYoHcNKUjEJackp_GXrekN5hNLIUlOIJN32XegpU,3570
agent_logic/core/functions.py,sha256=HN7DbiJwmr5vx3djk-K5OAL6gLJMM6_01JgChTpYOL8,2067
agent_logic/core/operations.py,sha256=nPx9BQmUYxHeFrGSWjQQulMNeTsHiELXrDqUgbnEm4s,12446
agent_logic/core/predicates.py,sha256=nK400jaD8TOPYFMYEVZXke3graljUFv-xPH8VCaJPH0,1184
agent_logic/core/quantifiers.py,sha256=MI6wpAzqa1Bgozfm0My_hN-YCVWE2FkMtqLgK2Ne8Rs,2634
agent_logic/evaluation/__init__.py,sha256=_CTWXoB8sRWsnqRUSt1Oiv6LcbgIPKCDBQcTSLZ_ffU,309
agent_logic/evaluation/evaluator.py,sha256=4D3nVtxSoobibnKEroRgg5r2jYcK4QpYLTSaPqZtSX8,4238
agent_logic/evaluation/truth_table.py,sha256=Cris6Be1QWy828xZdjKF2hBNifZK8CeBcUbZjBjaXuI,2298
agent_logic/models/__init__.py,sha256=eg_kinjDEleQlg5V0bSRh92xGkmqohFfSdnEb9f50X4,494
agent_logic/models/llm_proof_model.py,sha256=jn4kVpei2UfH7vP8TVZpVZJEzRlXAkA0YZ3VPYapd-c,2413
agent_logic/parsing/__init__.py,sha256=MvQ9xVADodvKWoR_K4Kbgz_K2Z5rzt4e9iV3kqFg80g,308
agent_logic/parsing/ast_parser.py,sha256=MySsl7IleiJKM0HU-dc7T80GPP7lbfxKCdwflVjkG1w,1242
agent_logic/parsing/token_parser.py,sha256=SaMUbIWnOyG1VJpkpxYWecWrFjnXp0Vh9pJR89pubD4,1643
agent_logic/proofs/__init__.py,sha256=qPHAP_IRCbVmGRoF6AuvSnV-4ToXMJTtm4OxsilbmsA,516
agent_logic/proofs/combinatorial_proofs.py,sha256=m-87KkFTiKVO1Cla3HH845oraWXfqpTk8NQgCS9daXw,2800
agent_logic/proofs/inference_rules.py,sha256=CHlSoyrkNcGT3djRez5sWPRxeI7-R2nGkEVtBemLNzM,14026
agent_logic/proofs/proof_system.py,sha256=zLgJLUUDp0_bH7W6_G6GM-XZH77jr4KLl5VaLuybVo8,11346
agent_logic/proofs/quantifier_rules.py,sha256=t_IYhIgpmNHS6fMiAhao-tbWtHv3GtOia10p5P0zrUE,2098
agent_logic/proofs/sequent_calculus.py,sha256=62wEqbzco5sFdD05s-ys6givo42l9p6Eo_aTs-_aplw,5932
agent_logic/proofs/unification.py,sha256=7xpWeSdM71GyoL_DKMBkYZNYd4-v-4pPwUVfCHgdgUE,1088
agent_logic/transformations/__init__.py,sha256=wOr4EU1U965h4ZBnwCiTyyhH8VKkntqpn4Nvr9sIhf4,429
agent_logic/transformations/equivalences.py,sha256=rhbUYX8izMB8eDPl3qJW6gRFW_Zsz3STwskztBZ-uw4,3008
agent_logic/transformations/normal_forms.py,sha256=C97UmIiHxS5ViuvUHPad31lHofc_UNFwEd0fYh_UAaQ,2002
agent_logic/utils/__init__.py,sha256=2AQqI2I14WoPBflUkBfEUzbnVzmvM5p6iiXVuzfk3ns,371
agent_logic/utils/logger.py,sha256=qJppCjN37RY6OHI-IOP3ElmyXIb9pgYO5M2Q8-bXClc,2149
agent_logic-0.1.2.dist-info/METADATA,sha256=k6S2tMQopr5UELgdTc2BdXLTYK5uvvkbkWHi8y_HaU0,5814
agent_logic-0.1.2.dist-info/WHEEL,sha256=fGIA9gx4Qxk2KDKeNJCbOEwSrmLtjWCwzBz351GyrPQ,88
agent_logic-0.1.2.dist-info/RECORD,,
