From 8bb75334c4b9f91e9f95784e986ed31b4bc11f92 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Mon, 19 Dec 2022 01:47:04 +0000 Subject: gentoo auto-resync : 19:12:2022 - 01:47:04 --- profiles/use.local.desc | 1 + 1 file changed, 1 insertion(+) (limited to 'profiles/use.local.desc') 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. -- cgit v1.2.3