| Package | Step 1 | Step 2 | Step 3 | Step 4 | Step 5 | Step 6 | Step 7 | |||
|---|---|---|---|---|---|---|---|---|---|---|
| ▶dev-build/b2-5.5.3 | download | install | ||||||||
|
USE
-examples
|
|
|||||||||
| ▶sci-mathematics/minisat-2.2.1-r1 | download | install | run | |||||||
|
USE
-doc
|
|
|||||||||
| ▶dev-libs/boost-1.91.0-r2 | download | install | run | |||||||
|
USE
+bzip2
+context
-debug
-doc
-icu
-lzma
-mpi
+nls
-numpy
+python
+stacktrace
-test
-test-full
-tools
+zlib
-zstd
|
|
|||||||||
| ▶sci-mathematics/stp-2.3.4-r1 | download | install | run | |||||||
|
USE
-cryptominisat
-debug
+python
-test
|
|