abidadhikari/discrete-structure-lab not found