diff options
Diffstat (limited to 'profiles/use.local.desc')
| -rw-r--r-- | profiles/use.local.desc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/use.local.desc b/profiles/use.local.desc index 4eb73dbf05ff..c161326caaf2 100644 --- a/profiles/use.local.desc +++ b/profiles/use.local.desc @@ -7670,6 +7670,7 @@ sci-mathematics/why3-for-spark:sexp - Add support for outputting S-expressions w sci-mathematics/why3-for-spark:zarith - Use Zarith (dev-ml/zarith) instead of Nums (dev-ml/num) for computations sci-mathematics/why3-for-spark:zip - Enable compression of session files sci-mathematics/yacas:jupyter - Add support for jupyter notebook +sci-mathematics/yices2:mcsat - Enable support for MCSAT sci-mathematics/z3:isabelle - Add integration support for the Isabelle/HOL theorem prover. sci-misc/boinc:cuda - Use nvidia cuda toolkit for speeding up computations. NOTE: works only for subset of nvidia graphic cards so make sure your card is supported before opening a bug about it. sci-misc/boinc:opencl - Use OpenCL to enable computations using your GPU. |