from small one page howto to huge articles all in one place
 

search text in:




Other .linuxhowtos.org sites: www.linuxhowtos.org
toolsntoys.linuxhowtos.org



Last additions:
How to make X listen on port 6000

How to make X listen on port 6000

words:

34

views:

71027

userrating:

average rating: 1.2 (8 votes) (1=very good 6=terrible)

May, 25th 2007:
Words

496

why adblockers are bad
April, 26th 2007:
Words

77

Website translation planned
Apr, 10th. 2007:
Words

63

Compile Time Estimator integrated into genlop
Druckversion . pdf icon
You are here: Portage


Details of sci-mathematics/z3:

Description: An efficient theorem prover
Homepage: https://github.com/Z3Prover/z3/

available versions:

releasesalphaamd64armhppaia64mipsppcppc64ppc macoss390shsparcx86USE-Flagsdependenciesebuild warnings
z3-4.13.4 -~~--~~~---~~doc
examples
gmp
isabelle
java
python
show
show
z3-4.13.3 -++--~~+---++doc
examples
gmp
isabelle
java
python
show
show
Legend:
+ stable
~ testing
- not available
some ebuild warning depend on specific use-flags or architectures, all ebuild-warnings are shown.


back



Support us on Content Nation

New Packages

- as rdf newsfeed
- as rss newsfeed
- as Atom newsfeed
2024-12-19
flint - 3.1.3_p1-r3
Ebuild name:

sci-mathematics/flint-3.1.3_p1-r3

Description

Fast Library for Number Theory

Added to portage

2024-12-19

fzf - 0.57.0
Ebuild name:

app-shells/fzf-0.57.0

Description

General-purpose command-line fuzzy finder, written in Golang

Added to portage

2024-12-19

tailscale - 1.78.3
Ebuild name:

net-vpn/tailscale-1.78.3

Description

Tailscale vpn client

Added to portage

2024-12-19

tmuxp - 1.49.0
Ebuild name:

app-misc/tmuxp-1.49.0

Description

tmux session manager. built on libtmux

Added to portage

2024-12-19

xsimd - 13.1.0
Ebuild name:

dev-cpp/xsimd-13.1.0

Description

C++ wrappers for SIMD intrinsics

Added to portage

2024-12-19

2024-12-18
apprise - 1.9.1
Ebuild name:

dev-python/apprise-1.9.1

Description

Push Notifications that work with just about every platform

Added to portage

2024-12-18

awscli - 1.36.24
Ebuild name:

app-admin/awscli-1.36.24

Description

Universal Command Line Environment for AWS

Added to portage

2024-12-18

barcode - 2.4.0
Ebuild name:

app-officeext/barcode-2.4.0

Description

Extension for reading barcodes

Added to portage

2024-12-18

boto3 - 1.35.83
Ebuild name:

dev-python/boto3-1.35.83

Description

The AWS SDK for Python

Added to portage

2024-12-18

botocore - 1.35.83
Ebuild name:

dev-python/botocore-1.35.83

Description

Low-level, data-driven core of boto 3

Added to portage

2024-12-18

branca - 0.8.1
Ebuild name:

sci-libs/branca-0.8.1

Description

spinoff from folium, host the non-map-specific features

Added to portage

2024-12-18

clang - 19.1.6
Ebuild name:

dev-python/clang-19.1.6

Description

Python bindings for llvm-core/clang

Added to portage

2024-12-18

clang - 19.1.6
Ebuild name:

llvm-core/clang-19.1.6

Description

C language family frontend for LLVM

Added to portage

2024-12-18

clang-common - 19.1.6
Ebuild name:

llvm-core/clang-common-19.1.6

Description

Common files shared between multiple slots of clang

Added to portage

2024-12-18

clang-runtime - 19.1.6
Ebuild name:

llvm-core/clang-runtime-19.1.6

Description

Meta-ebuild for clang runtime libraries

Added to portage

2024-12-18

cmd2 - 2.5.8
Ebuild name:

dev-python/cmd2-2.5.8

Description

Extra features for standard library's cmd module

Added to portage

2024-12-18

compiler-rt - 19.1.6
Ebuild name:

llvm-runtimes/compiler-rt-19.1.6

Description

Compiler runtime library for clang (built-in part)

Added to portage

2024-12-18

compiler-rt-sanitizers - 19.1.6
Ebuild name:

llvm-runtimes/compiler-rt-sanitizers-19.1.6

Description

Compiler runtime libraries for clang (sanitizers & xray

Added to portage

2024-12-18

croniter - 6.0.0
Ebuild name:

dev-python/croniter-6.0.0

Description

Python module to provide iteration for datetime object

Added to portage

2024-12-18

cvmfs - 2.12.3
Ebuild name:

net-fs/cvmfs-2.12.3

Description

HTTP read-only file system for distributing software

Added to portage

2024-12-18

devilutionx - 1.5.3-r1
Ebuild name:

games-engines/devilutionx-1.5.3-r1

Description

Diablo engine for modern operating systems

Added to portage

2024-12-18

discord - 0.0.78
Ebuild name:

net-im/discord-0.0.78

Description

All-in-one voice and text chat for gamers

Added to portage

2024-12-18

django-js-asset - 3.0.1
Ebuild name:

dev-python/django-js-asset-3.0.1

Description

Script tag with additional attributes for django.forms.Media

Added to portage

2024-12-18

dropbox - 214.4.5217
Ebuild name:

net-misc/dropbox-214.4.5217

Description

Dropbox daemon (pretends to be GUI-less)

Added to portage

2024-12-18

fakeredis - 2.26.2
Ebuild name:

dev-python/fakeredis-2.26.2

Description

Fake implementation of redis API for testing purposes

Added to portage

2024-12-18

folium - 0.19.2
Ebuild name:

sci-geosciences/folium-0.19.2

Description

Python Data, Leaflet.js Maps

Added to portage

2024-12-18

fsarchiver - 0.8.8
Ebuild name:

app-backup/fsarchiver-0.8.8

Description

Flexible filesystem archiver for backup and deployment tool

Added to portage

2024-12-18

inline-snapshot - 0.17.1
Ebuild name:

dev-python/inline-snapshot-0.17.1

Description

Create and update inline snapshots in your Python tests

Added to portage

2024-12-18

jupyter-events - 0.11.0
Ebuild name:

dev-python/jupyter-events-0.11.0

Description

Jupyter Event System library

Added to portage

2024-12-18

jupyterlab - 4.3.3
Ebuild name:

dev-python/jupyterlab-4.3.3

Description

JupyterLab computational environment

Added to portage

2024-12-18

kguiaddons - 6.9.0-r1
Ebuild name:

kde-frameworks/kguiaddons-6.9.0-r1

Description

Framework providing assorted high-level user interface component

Added to portage

2024-12-18

languagetool - 6.4
Ebuild name:

app-officeext/languagetool-6.4

Description

Style and Grammar Checker for LibreOffice

Added to portage

2024-12-18

lhapdf - 6.5.5
Ebuild name:

sci-physics/lhapdf-6.5.5

Description

Les Houches Parton Density Function unified library

Added to portage

2024-12-18

libclc - 19.1.6
Ebuild name:

llvm-core/libclc-19.1.6

Description

OpenCL C library

Added to portage

2024-12-18

libcxx - 19.1.6
Ebuild name:

llvm-runtimes/libcxx-19.1.6

Description

New implementation of the C++ standard library, targeting C++11

Added to portage

2024-12-18

libcxxabi - 19.1.6
Ebuild name:

llvm-runtimes/libcxxabi-19.1.6

Description

Low level support for a standard C++ library

Added to portage

2024-12-18

libunwind - 19.1.6
Ebuild name:

llvm-runtimes/libunwind-19.1.6

Description

C++ runtime stack unwinder from LLVM

Added to portage

2024-12-18

lit - 19.1.6
Ebuild name:

dev-python/lit-19.1.6

Description

A stand-alone install of the LLVM suite testing tool

Added to portage

2024-12-18

lld - 19.1.6
Ebuild name:

llvm-core/lld-19.1.6

Description

The LLVM linker (link editor)

Added to portage

2024-12-18

lldb - 19.1.6
Ebuild name:

llvm-core/lldb-19.1.6

Description

The LLVM debugger

Added to portage

2024-12-18

llvm - 19.1.6
Ebuild name:

dev-ml/llvm-19.1.6

Description

OCaml bindings for LLVM

Added to portage

2024-12-18

llvm - 19.1.6
Ebuild name:

llvm-core/llvm-19.1.6

Description

Low Level Virtual Machine

Added to portage

2024-12-18

llvm-common - 19.1.6
Ebuild name:

llvm-core/llvm-common-19.1.6

Description

Common files shared between multiple slots of LLVM

Added to portage

2024-12-18

mattermost-desktop-bin - 5.10.2
Ebuild name:

net-im/mattermost-desktop-bin-5.10.2

Description

Mattermost Desktop application

Added to portage

2024-12-18

mattermost-desktop-bin - 5.9.2
Ebuild name:

net-im/mattermost-desktop-bin-5.9.2

Description

Mattermost Desktop application

Added to portage

2024-12-18

mumble - 1.5.634-r1
Ebuild name:

net-voip/mumble-1.5.634-r1

Description

Mumble is an open source, low-latency, high quality voice chat software

Added to portage

2024-12-18

mumble - 1.5.735
Ebuild name:

net-voip/mumble-1.5.735

Description

Mumble is an open source, low-latency, high quality voice chat software

Added to portage

2024-12-18

murmur - 1.5.735
Ebuild name:

net-voip/murmur-1.5.735

Description

Mumble is an open source, low-latency, high quality voice chat software

Added to portage

2024-12-18

nh3 - 0.2.20
Ebuild name:

dev-python/nh3-0.2.20

Description

Ammonia HTML sanitizer Python binding

Added to portage

2024-12-18

nicotine+ - 3.3.7
Ebuild name:

net-p2p/nicotine+-3.3.7

Description

Graphical client for the Soulseek peer to peer network written in Python

Added to portage

2024-12-18

nuitka - 2.5.7
Ebuild name:

dev-python/nuitka-2.5.7

Description

Python to native compiler

Added to portage

2024-12-18

offload - 19.1.6
Ebuild name:

llvm-runtimes/offload-19.1.6

Description

OpenMP offloading support

Added to portage

2024-12-18

ooofbtools - 3.5.2
Ebuild name:

app-officeext/ooofbtools-3.5.2

Description

Open/LibreOffice extension for the FictionBook2 format with validati

Added to portage

2024-12-18

openmp - 19.1.6
Ebuild name:

llvm-runtimes/openmp-19.1.6

Description

OpenMP runtime library for LLVM/clang compiler

Added to portage

2024-12-18

pdns - 4.9.3
Ebuild name:

net-dns/pdns-4.9.3

Description

The PowerDNS Daemon

Added to portage

2024-12-18

perf - 6.11.7-r1
Ebuild name:

dev-util/perf-6.11.7-r1

Description

Userland tools for Linux Performance Counters

Added to portage

2024-12-18

perf - 6.12-r1
Ebuild name:

dev-util/perf-6.12-r1

Description

Userland tools for Linux Performance Counters

Added to portage

2024-12-18

psych - 5.2.2
Ebuild name:

dev-ruby/psych-5.2.2

Description

A YAML parser and emitter

Added to portage

2024-12-18

pytest-flask - 1.3.0
Ebuild name:

dev-python/pytest-flask-1.3.0

Description

A set of pytest fixtures to test Flask applications

Added to portage

2024-12-18

pytest-regressions - 2.6.0
Ebuild name:

dev-python/pytest-regressions-2.6.0

Description

Easy to use fixtures to write regression tests

Added to portage

2024-12-18

python - 3.14.0_alpha3
Ebuild name:

dev-lang/python-3.14.0_alpha3

Description

An interpreted, interactive, object-oriented programming language

Added to portage

2024-12-18

python - 3.14.0_alpha3-r100
Ebuild name:

dev-lang/python-3.14.0_alpha3-r100

Description

Freethreading (no-GIL) version of Python programming language

Added to portage

2024-12-18

python-engineio - 4.11.1
Ebuild name:

dev-python/python-engineio-4.11.1

Description

Python implementation of the Engine.IO realtime server

Added to portage

2024-12-18

quack - 0.48
Ebuild name:

app-emacs/quack-0.48

Description

Enhances Emacs support for Scheme

Added to portage

2024-12-18

queue - 0.2
Ebuild name:

app-emacs/queue-0.2

Description

Queue data structure

Added to portage

2024-12-18

qwerty - 1.1
Ebuild name:

app-emacs/qwerty-1.1

Description

Switch between QWERTY and DVORAK without changing the console keymap

Added to portage

2024-12-18

racket-mode - 1_p20241001
Ebuild name:

app-emacs/racket-mode-1_p20241001

Description

Emacs modes for Racket edit, REPL, check-syntax, debug, profile,

Added to portage

2024-12-18

racket-mode - 1_p20241031
Ebuild name:

app-emacs/racket-mode-1_p20241031

Description

Emacs modes for Racket edit, REPL, check-syntax, debug, profile,

Added to portage

2024-12-18

rapidfuzz - 3.11.0
Ebuild name:

dev-python/rapidfuzz-3.11.0

Description

Rapid fuzzy string matching in Python using various string metrics

Added to portage

2024-12-18

rapidfuzz-cpp - 3.2.0
Ebuild name:

dev-cpp/rapidfuzz-cpp-3.2.0

Description

Rapid fuzzy string matching in C++

Added to portage

2024-12-18

reaper-bin - 7.28
Ebuild name:

media-sound/reaper-bin-7.28

Description

Digital audio workstation

Added to portage

2024-12-18

reline - 0.6.0
Ebuild name:

dev-ruby/reline-0.6.0

Description

Alternative readline implementation in pure Ruby

Added to portage

2024-12-18

rocksdb - 9.9.3
Ebuild name:

dev-libs/rocksdb-9.9.3

Description

Embeddable, persistent key-value store for fast storage

Added to portage

2024-12-18

root - 6.34.02
Ebuild name:

sci-physics/root-6.34.02

Description

C++ data analysis framework and interpreter from CERN

Added to portage

2024-12-18

rqlite - 8.36.1
Ebuild name:

dev-db/rqlite-8.36.1

Description

Replicated SQLite using the Raft consensus protocol

Added to portage

2024-12-18

rust-bin - 1.76.0-r100
Ebuild name:

dev-lang/rust-bin-1.76.0-r100

Description

Systems programming language from Mozilla

Added to portage

2024-12-18

rust-bin - 1.78.0-r100
Ebuild name:

dev-lang/rust-bin-1.78.0-r100

Description

Systems programming language from Mozilla

Added to portage

2024-12-18

sonarr-bin - 4.0.11.2774
Ebuild name:

www-apps/sonarr-bin-4.0.11.2774

Description

Sonarr is a Smart PVR for newsgroup and bittorrent users

Added to portage

2024-12-18

tempest - 42.0.0
Ebuild name:

dev-python/tempest-42.0.0

Description

OpenStack Integration Testing

Added to portage

2024-12-18

translate-toolkit - 3.14.3
Ebuild name:

dev-python/translate-toolkit-3.14.3

Description

Toolkit to convert between many translation formats

Added to portage

2024-12-18

yara-python - 4.5.1
Ebuild name:

dev-python/yara-python-4.5.1

Description

Python interface for a malware identification and classification tool

Added to portage

2024-12-18

z3 - 4.13.4
Ebuild name:

sci-mathematics/z3-4.13.4

Description

An efficient theorem prover

Added to portage

2024-12-18

zathura-meta - 0-r1
Ebuild name:

app-text/zathura-meta-0-r1

Description

Meta package for app-text/zathura plugins

Added to portage

2024-12-18
rdf newsfeed | rss newsfeed | Atom newsfeed
- Powered by LeopardCMS - Running on Gentoo -
Copyright 2004-2020 Sascha Nitsch Unternehmensberatung GmbH
Valid XHTML1.1 : Valid CSS : buttonmaker
- Level Triple-A Conformance to Web Content Accessibility Guidelines 1.0 -
- Copyright and legal notices -
Time to create this page: 26.4 ms