Similar repositories to blair3sat/rdes: