As the library books are public property, their deliberate destruction is a criminal offense. Could be charged as a misdemeanor in most places. Another option, taxpayers contributed to the purchase of the books. Perhaps this person should be sued in small claims court for the value of the books by someone who contributed to their purchase.