guicho271828 /trivialib.bdd

View project on GitHub