Initialize testing scripts
Set up depth constraints (not tested)
Complete adding major matrix constructions
Add details about not using integer programming
Add rough formulations for IP
Add testing case for shidoku
Add test case for shidoku
Add references
Add pycache
Add documentation to readme
Add first version, lack cleaning and doc
Add test on infeasible set
Restructure __main__, further modularize
Add examples
Add in formatting check, still need to implement feasibility check
Add example of an empty file