sci-mathematics/kissat
