This version implemented interactive BCNF decomposition and includes many bug fixes for Solver related functionality, like BCNF checking and lossless-join checking. Also started developing documentation and tracking changes.
This version implemented the 3 main classes, the IO classes, and the Solver class. Relevant tests were also added where.