sci-mathematics/boolector-3.2.3:cryptominisat
sci-mathematics/boolector-3.2.4:cryptominisat
sci-mathematics/stp-2.3.3-r3:cryptominisat
sci-mathematics/stp-2.3.4:cryptominisat
