Some old, mostly combinatorial, algorithm implementations