Similar repositories to francoisschwarzentruber/dpll: