diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-12-19 01:47:04 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-12-19 01:47:04 +0000 |
| commit | 8bb75334c4b9f91e9f95784e986ed31b4bc11f92 (patch) | |
| tree | 8abc434e6b84ebe89eee2e7ae9687354cdf8d2c8 /profiles/use.local.desc | |
| parent | f74222a7b6daa24caf124c66a7ce05c7ea773b08 (diff) | |
gentoo auto-resync : 19:12:2022 - 01:47:04
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. |