My integer linear algebra software library/research log