Similar repositories to bluakorvo/SATlib: