# Install msolve

Library for Polynomial System Solving through Algebraic Methods. Version 0.9.5 via Homebrew; verified 2026-04-24.

## Install

```sh
sudo av install brew:msolve
```

Additional install commands:

### macOS

- Homebrew (100%):

```sh
brew install msolve
```

  Evidence: local Homebrew formula metadata

### Linux

- Debian apt (92%):

```sh
sudo apt install libmsolve-dev
```

  Evidence: Debian stable package indexes: libmsolve-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

- dnf (92%):

```sh
sudo dnf install msolve
```

  Evidence: Fedora Rawhide package metadata: msolve from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst

- Nix (92%):

```sh
nix profile install nixpkgs#msolve
```

  Evidence: nixpkgs package indexes: pkgs/by-name/ms/msolve/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

- pacman (92%):

```sh
sudo pacman -S msolve
```

  Evidence: Arch Linux sync databases: msolve from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

- Ubuntu apt (92%):

```sh
sudo apt install libmsolve-0.6.5
```

  Evidence: Ubuntu 24.04 LTS package indexes: libmsolve-0.6.5 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

## Package Facts

- **Package key:** brew:msolve
- **Package manager:** Homebrew
- **Package manager URL:** <https://formulae.brew.sh/formula/msolve>
- **Version:** 0.9.5
- **Source summary:** Library for Polynomial System Solving through Algebraic Methods
- **Homepage:** <https://msolve.lip6.fr>
- **Repository:** <https://github.com/algebraic-solving/msolve>
- **Upstream docs:** <https://msolve.lip6.fr/>
- **License:** GPL-2.0-or-later
- **Source archive:** <https://github.com/algebraic-solving/msolve/archive/refs/tags/v0.9.5.tar.gz>
- **Last updated:** 2026-04-24T18:34:17Z
- **Generated:** 2026-06-10T07:18:26+00:00

## Executables

- msolve (cli)
- msolve (alias)

## Dependencies

- flint
- gmp
- libomp
- mpfr

## Build Dependencies

- autoconf
- automake
- libtool

## Install Behavior

- Post-install hook: not defined
- Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## Freshness

- Page generated: 2026-06-10
- Package-manager version: 0.9.5
- Package-manager updated: 2026-04-24
- Local data status: ok
- Upstream repository: https://github.com/algebraic-solving/msolve
- Upstream latest detected: v0.9.5 (current)

## Notes de sécurité

library-like package without higher-risk signals.

- **Geiger risk:** green / low
- library-like package without higher-risk signals

## Source Database Details

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** msolve
- **Version Scheme:** 0
- **Revision:** 1
- **Head Version:** HEAD
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** head, stable

## Other Package-Manager Records

- Debian apt - libmsolve-dev - 0.7.5-1: normalized package name match | Debian stable package indexes: libmsolve-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | computer algebra algorithms for solving polynomial systems (development) | https://msolve.lip6.fr/
- Debian apt - libmsolve0 - 0.7.5-1: normalized package name match | Debian stable package indexes: libmsolve0 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | computer algebra algorithms for solving polynomial systems (shared library) | https://msolve.lip6.fr/
- Debian apt - msolve - 0.7.5-1: normalized package name match | Debian stable package indexes: msolve from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | computer algebra algorithms for solving polynomial systems | https://msolve.lip6.fr/
- Nix - msolve: normalized package name match | nixpkgs package indexes: pkgs/by-name/ms/msolve/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- Ubuntu apt - libmsolve-0.6.5 - 0.6.5-1build2: normalized package name match | Ubuntu 24.04 LTS package indexes: libmsolve-0.6.5 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | computer algebra algorithms for solving polynomial systems (shared library) | https://msolve.lip6.fr/
- Ubuntu apt - libmsolve-dev - 0.6.5-1build2: normalized package name match | Ubuntu 24.04 LTS package indexes: libmsolve-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | computer algebra algorithms for solving polynomial systems (development) | https://msolve.lip6.fr/
- Ubuntu apt - msolve - 0.6.5-1build2: normalized package name match | Ubuntu 24.04 LTS package indexes: msolve from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | computer algebra algorithms for solving polynomial systems | https://msolve.lip6.fr/
- dnf - msolve - 0.9.5-2.fc45: normalized package name match | Fedora Rawhide package metadata: msolve from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst | Polynomial System Solving through Algebraic Methods | https://msolve.lip6.fr/
- dnf - msolve-devel - 0.9.5-2.fc45: normalized package name match | Fedora Rawhide package metadata: msolve-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst | Development files for msolve | https://msolve.lip6.fr/
- dnf - msolve-libs - 0.9.5-2.fc45: normalized package name match | Fedora Rawhide package metadata: msolve-libs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst | Library for Polynomial System Solving through Algebraic Methods | https://msolve.lip6.fr/
- pacman - msolve - 0.9.5-2: normalized package name match | Arch Linux sync databases: msolve from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz | Library for polynomial system solving through algebraic methods | https://msolve.lip6.fr/


## Related Links

- [Terminal utility packages](https://www.automicvault.com/fr/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Networking and protocol packages](https://www.automicvault.com/fr/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [Scientific computing packages](https://www.automicvault.com/fr/pkg/scientific-computing-tools/) - Matched scientific computing metadata.
- [Homebrew utility packages](https://www.automicvault.com/fr/pkg/brew-utility-packages/) - Matched Homebrew package provider.
- [libtool](https://www.automicvault.com/fr/pkg/brew/libtool/) - Build dependency declared by Homebrew.
- [autoconf](https://www.automicvault.com/fr/pkg/brew/autoconf/) - Build dependency declared by Homebrew.
- [automake](https://www.automicvault.com/fr/pkg/brew/automake/) - Build dependency declared by Homebrew.
- [maxima](https://www.automicvault.com/fr/pkg/brew/maxima/) - Shares av.db curated category or tags: cli, computer-algebra, mathematics, science.
- [wxmaxima](https://www.automicvault.com/fr/pkg/brew/wxmaxima/) - Shares av.db curated category or tags: cli, computer-algebra, mathematics, science.
- [singular](https://www.automicvault.com/fr/pkg/brew/singular/) - Shares av.db curated category or tags: cli, computer-algebra, mathematics, science.
- [fricas](https://www.automicvault.com/fr/pkg/brew/fricas/) - Shares av.db curated category or tags: cli, computer-algebra, mathematics, science, symbolic-computation.
- [cddlib](https://www.automicvault.com/fr/pkg/brew/cddlib/) - Shares av.db curated category or tags: c-library, cli, mathematics, science.
- [pari](https://www.automicvault.com/fr/pkg/brew/pari/) - Shares av.db curated category or tags: cli, computer-algebra, mathematics, science.
- [msieve](https://www.automicvault.com/fr/pkg/brew/msieve/) - Shares av.db curated category or tags: c-library, cli, mathematics, science.
- [yacas](https://www.automicvault.com/fr/pkg/brew/yacas/) - Shares av.db curated category or tags: cli, computer-algebra, mathematics, science.
- [form](https://www.automicvault.com/fr/pkg/brew/form/) - Local package facts share a topical domain. Shared terms: algebra, cli, computation, computer, computer-algebra.

## Sources

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- av.db category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph