nd_prover/__init__.py,sha256=MuHjukjP438R9qn5rogmJVp3Fyvri2K2w0Z--t46NmY,1809
nd_prover/__main__.py,sha256=ZO5xGwy-USulAXoqDb3NUk9H1AGpPZdT1hNxz9-wfLE,65
nd_prover/checker.py,sha256=1HMhoXycxpraReBQmhchVAyOcbDJBUGQFfvW2QvztDQ,30131
nd_prover/cli.py,sha256=HdMKUkTNjoZoknzlyVycA0n3Qu-MhMMzGIeJsfzE-Go,5115
nd_prover/latex.py,sha256=nA_EBOBnAUw3iPvE7X9HqwoiX7u3r0UayorShutfJrQ,5157
nd_prover/parser.py,sha256=BJmnvudpfmaohppoUK29F7jW9gwTytTf8vicPwERSP0,7613
nd_prover/prover.py,sha256=oTfpMDIcGZoVY9I8UWLgDGF8Hr88H1HKXkYWU-nkY_s,36442
nd_prover/sat.py,sha256=ESvNBsA1LcggUnzEbINMJhNKOoDwTdnz9v-xJsRVn14,41851
nd_prover/syntax.py,sha256=XG8SRRxbslk21rI5K2T0A7BMB2-EqNAD6AQZNDgGYh8,7361
nd_prover-3.1.0.dist-info/licenses/LICENSE,sha256=HrhfyXIkWY2tGFK11kg7vPCqhgh5DcxleloqdhrpyMY,11558
nd_prover-3.1.0.dist-info/METADATA,sha256=zpr84hPcwg8MKL48e3LuDaWv6QYIl7cAGN2yQLgoVLg,4455
nd_prover-3.1.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
nd_prover-3.1.0.dist-info/entry_points.txt,sha256=JEXp43ZsuOV_KF45bggdVf_GyzmITyOXfx9_v2Rgr-U,49
nd_prover-3.1.0.dist-info/top_level.txt,sha256=7TX2JmHaOKafoUvxlBvWlBib-9-9wzLXZPcfwq36-mc,10
nd_prover-3.1.0.dist-info/RECORD,,
