search

samanthajlee2 / ExistentialGraphProofGenerator

Generates Existential Graph Proofs from set of premises to a goal.
0 stars 1 forks source link

Handle multiple premises in addition to just one line #7

Closed sihsob closed 7 years ago

sihsob commented 7 years ago

Currently takes in input from terminal in a single line, but should eventually be able to generate a single existential graph tree from multiple premises for use in automated proof generation. Should only need some changes in generate.py and potentially existential_statement.py

sihsob commented 7 years ago

@samanthajlee2 Is this completed?

samanthajlee2 commented 7 years ago

yeah should be