175f1c816a | ||
---|---|---|
.gitignore | ||
cvc4-abc.patch | ||
cvc4-cryptominisat.patch | ||
cvc4-drat.patch | ||
cvc4-flags.patch | ||
cvc4-swig4.patch | ||
cvc4.rpmlintrc | ||
cvc4.spec | ||
sources |
175f1c816a | ||
---|---|---|
.gitignore | ||
cvc4-abc.patch | ||
cvc4-cryptominisat.patch | ||
cvc4-drat.patch | ||
cvc4-flags.patch | ||
cvc4-swig4.patch | ||
cvc4.rpmlintrc | ||
cvc4.spec | ||
sources |