MANIFEST.in
setup.py
pyprover9/__init__.py
pyprover9/__init__.py~
pyprover9/diamond.p9
pyprover9/prove.p9
pyprover9/prover9
pyprover9/pyprover9.py
pyprover9.egg-info/PKG-INFO
pyprover9.egg-info/SOURCES.txt
pyprover9.egg-info/dependency_links.txt
pyprover9.egg-info/top_level.txt
pyprover9/problems/assignment1_2020/celarent.html
pyprover9/problems/assignment1_2020/celarent.p9
pyprover9/problems/assignment1_2020/commuter.html
pyprover9/problems/assignment1_2020/commuter.p9
pyprover9/problems/assignment1_2020/problem_index.html
pyprover9/problems/assignment1_2020/vampire.html
pyprover9/problems/assignment1_2020/vampire.p9
pyprover9/problems/challenging/honey_crumpets.html
pyprover9/problems/challenging/honey_crumpets.p9
pyprover9/problems/challenging/impostor.html
pyprover9/problems/challenging/impostor.p9
pyprover9/problems/challenging/parts_and_overlaps.html
pyprover9/problems/challenging/parts_and_overlaps.p9
pyprover9/problems/challenging/problem_index.html
pyprover9/problems/first_order_intro/ballooning_pigs.html
pyprover9/problems/first_order_intro/ballooning_pigs.p9
pyprover9/problems/first_order_intro/barbara.html
pyprover9/problems/first_order_intro/barbara.p9
pyprover9/problems/first_order_intro/baroco.html
pyprover9/problems/first_order_intro/baroco.p9
pyprover9/problems/first_order_intro/celarent.html
pyprover9/problems/first_order_intro/celarent.p9
pyprover9/problems/first_order_intro/ferio.html
pyprover9/problems/first_order_intro/ferio.p9
pyprover9/problems/first_order_intro/greedy_rabbits.html
pyprover9/problems/first_order_intro/greedy_rabbits.p9
pyprover9/problems/first_order_intro/invalid_syllogism.html
pyprover9/problems/first_order_intro/invalid_syllogism.p9
pyprover9/problems/first_order_intro/jabberwock.html
pyprover9/problems/first_order_intro/jabberwock.p9
pyprover9/problems/first_order_intro/porky.html
pyprover9/problems/first_order_intro/porky.p9
pyprover9/problems/first_order_intro/problem_index.html
pyprover9/problems/first_order_intro/socrates.html
pyprover9/problems/first_order_intro/socrates.p9
pyprover9/problems/first_order_intro/young_rabbits.html
pyprover9/problems/first_order_intro/young_rabbits.p9
pyprover9/problems/p9exercises/barbara.html
pyprover9/problems/p9exercises/barbara.p9
pyprover9/problems/p9exercises/baroco.html
pyprover9/problems/p9exercises/baroco.p9
pyprover9/problems/p9exercises/celarent.html
pyprover9/problems/p9exercises/celarent.p9
pyprover9/problems/p9exercises/diamond.html
pyprover9/problems/p9exercises/diamond.p9
pyprover9/problems/p9exercises/extended_syllogism_one.html
pyprover9/problems/p9exercises/extended_syllogism_one.p9
pyprover9/problems/p9exercises/extended_syllogism_two.html
pyprover9/problems/p9exercises/extended_syllogism_two.p9
pyprover9/problems/p9exercises/ferio.html
pyprover9/problems/p9exercises/ferio.p9
pyprover9/problems/p9exercises/greedy_rabbits.html
pyprover9/problems/p9exercises/greedy_rabbits.p9
pyprover9/problems/p9exercises/honey_crumpets.html
pyprover9/problems/p9exercises/honey_crumpets.p9
pyprover9/problems/p9exercises/lost_key.html
pyprover9/problems/p9exercises/lost_key.p9
pyprover9/problems/p9exercises/parts_and_overlaps.html
pyprover9/problems/p9exercises/parts_and_overlaps.p9
pyprover9/problems/p9exercises/problem_index.html
pyprover9/problems/p9exercises/rembrandt.html
pyprover9/problems/p9exercises/rembrandt.p9
pyprover9/problems/p9exercises/sundays.html
pyprover9/problems/p9exercises/sundays.p9
pyprover9/problems/p9exercises/tarquin.html
pyprover9/problems/p9exercises/tarquin.p9
pyprover9/problems/p9exercises/young_rabbits.html
pyprover9/problems/p9exercises/young_rabbits.p9
pyprover9/problems/propositional/appointment.html
pyprover9/problems/propositional/appointment.p9
pyprover9/problems/propositional/diamond.html
pyprover9/problems/propositional/diamond.p9
pyprover9/problems/propositional/dragons.html
pyprover9/problems/propositional/dragons.p9
pyprover9/problems/propositional/dry_thunder.html
pyprover9/problems/propositional/dry_thunder.p9
pyprover9/problems/propositional/lost_key.html
pyprover9/problems/propositional/lost_key.p9
pyprover9/problems/propositional/problem_index.html
pyprover9/problems/propositional/rembrandt.html
pyprover9/problems/propositional/rembrandt.p9
pyprover9/problems/propositional/sundays.html
pyprover9/problems/propositional/sundays.p9
pyprover9/problems/propositional/tarquin.html
pyprover9/problems/propositional/tarquin.p9
pyprover9/problems/propositional/tennis.html
pyprover9/problems/propositional/tennis.p9