Corrected help message
Extended help message to include information about property based conjectures.
Fixed bug: The --property option does not take an argument.
Provided command-line option and flag to provided known theory. (see #5)
Arrays to store the known theory. (see #5)
Read the known theory for invariant based conjectures. (see #5)
Corrected name for variable with known theory for property based conjectures. (see #5)
Read the known theory for property based conjectures. (see #5)
Check the known theory for invariant based conjectures. (see #5)
Check the known theory for property based conjectures. (see #5)
Added consistency check for known theory. (see #5)
Added known theory to print of invariant values. (see #5)
Only perform consistency check of known theory if it is provided. (see #5)
Also perform the significance check with the theory for the first conjecture. (see #5)
Possibility to provide theory in Sage for invariant based conjectures. (see #5)
Possibility to provide theory in Sage for property based conjectures. (see #5)