samanthajlee2 ExistentialGraphProofGenerator issues

samanthajlee2 / ExistentialGraphProofGenerator

Generates Existential Graph Proofs from set of premises to a goal.

0 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

blah

#29 sihsob closed 7 years ago
1
new arg: output file name

#28 samanthajlee2 closed 7 years ago
2
remove nones

#27 samanthajlee2 closed 7 years ago
1
start presentation slides

#26 samanthajlee2 closed 7 years ago
0
test: remove_dc function

#25 samanthajlee2 opened 7 years ago
0
test: remove_literal function

#24 samanthajlee2 opened 7 years ago
0
Added inner SA

#23 sihsob closed 7 years ago
0
Initial implementation of removing empty cuts from the tree

#22 sihsob closed 7 years ago
0
Starter implementation of remove double cuts

#21 sihsob closed 7 years ago
0
WIP removing double cuts from entire tree

#20 sihsob closed 7 years ago
0
Beginning implementation of clean up functions

#19 sihsob closed 7 years ago
0
Concatenate premises together

#18 sihsob closed 7 years ago
0
Added skeleton of consistency checker algorithm (proof generation)

#17 sihsob closed 7 years ago
0
Implemented basic setup process

#16 sihsob closed 7 years ago
0
algo help funcs: remove bigger cut when empty cut in bigger cut

#15 samanthajlee2 closed 7 years ago
1
algo help funcs: remove L from tree

#14 samanthajlee2 closed 7 years ago
1
algo help funcs: remove DC's

#13 samanthajlee2 closed 7 years ago
1
Basic implementation for double cuts and iteration

#12 sihsob closed 7 years ago
2
compare pegasus strings functions

#11 samanthajlee2 opened 7 years ago
2
Implemented printing in Pegasus format

#10 sihsob closed 7 years ago
0
Squash "SA" within existential graph tree

#9 sihsob opened 7 years ago
0
Implement printing existential tree in Pegasus format

#8 sihsob opened 7 years ago
1
Handle multiple premises in addition to just one line

#7 sihsob closed 7 years ago
2
Transform standard tree into existential graph tree

#6 sihsob closed 7 years ago
0
Convert the base tree into a squashed tree for and statements

#5 sihsob closed 7 years ago
0
Implement the proof generation algorithm

#4 sihsob closed 7 years ago
1
Setup the necessary parts for the proof generation

#3 sihsob closed 7 years ago
1
Turn squashed tree into existential graph tree

#2 sihsob closed 7 years ago
1
Setup initial input into generate.py

#1 sihsob closed 7 years ago
1