[B]sci-mathematics/kissat-3.1.0
[B]sci-mathematics/kissat-3.1.1
