Refer to this README for More Information on how to use these tools:
-
fd-proofs: To use to prove the correctness of fd and mvd proofs using armstrong axioms and other theorems. -
deps: To use to check the answers for some common questions for FDs -
chase: To run the chase algorithm