macOS
Homebrewverified · 100%
brew install msolvelocal Homebrew formula metadata
brew
Install msolve with Homebrew, apt, dnf, Nix, pacman
Library for Polynomial System Solving through Algebraic Methods. Version 0.10.0 via Homebrew; verified 2026-06-29.
install
Additional install commands
Linux
Debian aptverified · 92%
sudo apt install libmsolve-devDebian stable package indexes · libmsolve-dev · source: deb.debian.org
Fedora dnfverified · 92%
sudo dnf install msolveFedora Rawhide package metadata · msolve · source: dl.fedoraproject.org
Nixverified · 92%
nix profile install nixpkgs#msolvenixpkgs package indexes · pkgs/by-name/ms/msolve/package.nix · source: api.github.com
Arch Linux pacmanverified · 92%
sudo pacman -S msolveArch Linux sync databases · msolve · source: geo.mirror.pkgbuild.com
Ubuntu aptverified · 92%
sudo apt install libmsolve-0.6.5Ubuntu 24.04 LTS package indexes · libmsolve-0.6.5 · source: archive.ubuntu.com
overview
Package summary
Library for Polynomial System Solving through Algebraic Methods
Project links
Commands and aliases
- msolve
history
Project history and usage
msolve is an open-source C library and command-line tool for solving multivariate polynomial systems through exact computer-algebra methods. The 2021 ISSAC paper by Jérémy Berthomieu, Christian Eder, and Mohab Safey El Din presents it as a library for zero-dimensional polynomial systems, built around Gröbner bases, linear algebra, conversion to lexicographical order, and real solving of univariate polynomials.
Project history
The project website summarizes the implementation goals: plain C, exact polynomial-system solving, algebraic encodings of solutions, advanced Gröbner-basis algorithms such as F4 and change of orderings, and performance work through multithreading and vectorization. The LIP6 PolSys software page adds that it supports Gröbner-basis computations, rational parametrization, real-root isolation, signature-based algorithms, and modern change-of-order algorithms.
How it is used
msolve's ecosystem role is as a high-performance engine underneath larger computer-algebra systems. The project README documents use from SageMath's `Variety` function for polynomial systems with real coefficients and an msolve package for Macaulay2; the LIP6 page also lists interfaces from Oscar, SageMath, and Macaulay2. In package managers it is therefore both a research library and a CLI for users who want direct polynomial-system solving without invoking a full CAS.
Sources
security posture
Risk level: green
library-like package without higher-risk signals.
Risk classifier
green risk · low confidence · appliance
Why
- library-like package without higher-risk signals
Signals
- metadata:library-like
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 6 platform targets.
- Installs with 4 runtime dependencies.
- Build metadata lists 3 build dependencies.
Recommended review
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
executables
Installed executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
msolve | cli | global executable |
freshness
Version and freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
page generated2026-07-08
manager version0.10.0
manager updated2026-06-29
local dataok
upstreamcurrent
latest detectedv0.10.0
https://github.com/algebraic-solving/msolve
- okNo freshness warnings were generated.
install metadata
Package metadata
| Package key | brew:msolve |
|---|---|
| Version | 0.10.0 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/msolve |
| 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.10.0.tar.gz |
| Last updated | 2026-06-29T13:26:59Z |
| Pulse | updated |
| Dependencies | flint, gmp, libomp, mpfr |
| Build dependencies | autoconf, automake, libtool |
| Bottle | available (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
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 |
|
source database matches
Other package-manager records
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
Debian apt95%
libmsolve-dev 0.7.5-1
computer algebra algorithms for solving polynomial systems (development)
sudo apt install libmsolve-dev- Section: math
- Architecture: amd64
- Source Package: msolve
- 1 dependencies
- normalized package name match
- Matched by: Msolve
Debian apt95%
libmsolve0 0.7.5-1
computer algebra algorithms for solving polynomial systems (shared library)
sudo apt install libmsolve0- Section: libs
- Architecture: amd64
- Source Package: msolve
- 4 dependencies
- normalized package name match
- Matched by: Msolve
Debian apt95%
msolve 0.7.5-1
computer algebra algorithms for solving polynomial systems
sudo apt install msolve- Section: math
- Architecture: amd64
- 5 dependencies
- normalized package name match
- Matched by: Msolve
Nix95%
msolve
nix profile install nixpkgs#msolve- normalized package name match
- Matched by: Msolve
Ubuntu apt95%
libmsolve-0.6.5 0.6.5-1build2
computer algebra algorithms for solving polynomial systems (shared library)
sudo apt install libmsolve-0.6.5- Section: universe/libs
- Architecture: amd64
- Source Package: msolve
- 4 dependencies
- normalized package name match
- Matched by: Msolve
Ubuntu apt95%
libmsolve-dev 0.6.5-1build2
computer algebra algorithms for solving polynomial systems (development)
sudo apt install libmsolve-dev- Section: universe/math
- Architecture: amd64
- Source Package: msolve
- 1 dependencies
- normalized package name match
- Matched by: Msolve
Ubuntu apt95%
msolve 0.6.5-1build2
computer algebra algorithms for solving polynomial systems
sudo apt install msolve- Section: universe/math
- Architecture: amd64
- 5 dependencies
- normalized package name match
- Matched by: Msolve
dnf95%
msolve 0.9.5-2.fc45
Polynomial System Solving through Algebraic Methods
sudo dnf install msolve- License: GPL-2.0-or-later AND LGPL-2.1-or-later
- Category: Unspecified
- Architecture: x86_64
- Source Package: msolve
- 9 dependencies
- 1 provides
- normalized package name match
- Matched by: Msolve
dnf95%
msolve-devel 0.9.5-2.fc45
Development files for msolve
sudo dnf install msolve-devel- License: GPL-2.0-or-later AND LGPL-2.1-or-later
- Category: Unspecified
- Architecture: x86_64
- Source Package: msolve
- 6 dependencies
- 2 provides
- normalized package name match
- Matched by: Msolve
dnf95%
msolve-libs 0.9.5-2.fc45
Library for Polynomial System Solving through Algebraic Methods
sudo dnf install msolve-libs- License: GPL-2.0-or-later AND LGPL-2.1-or-later
- Category: Unspecified
- Architecture: x86_64
- Source Package: msolve
- 7 dependencies
- 3 provides
- normalized package name match
- Matched by: Msolve
pacman95%
msolve 0.9.5-2
Library for polynomial system solving through algebraic methods
sudo pacman -S msolve- License: GPL-2.0-or-later
- Architecture: x86_64
- 5 dependencies
- normalized package name match
- Matched by: Msolve
source trail
Generated from repository data
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Used sources
- Geiger risk classifier
- Nucleus package database
- av.db category and tag curation
- cross-ecosystem install command graph
- curated package history
- external package-manager database matches
- package relationship graph
- package version freshness
- package-page enrichment