First Commit. Adding src and README.
test on lore
Adding more examples
Reset the reasoner path in config.py
Update the readme file
turn off prover message.
made it interactive with user & add example of abstract3
merged
revise removeMir
merge
new readme
fix the bug after unable to fix inconsistency
add the op of 'ldiff' and 'rdiff', i.e. supports 'Bertram' mode
add the test case for '-' operator
adding confidence to articulations
add abstract4
fixed mace4 timeout bug
fixed graphviz.py input parameters
add test.gif
add the generateDot to taxonomyMap for generating graphviz dot file of transitive reduction