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