claudio/linear-programming archive