https://github.com/guicho271828/trivialib.bdd.git
git clone 'https://github.com/guicho271828/trivialib.bdd.git' (ql:quickload :trivialib.bdd)