macOS
Homebrewvérifié · 100%
brew install msolvelocal Homebrew formula metadata
brew
Installer msolve avec Homebrew, apt, dnf, Nix, pacman
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de msolve pour les workflows d'agents IA.
installation
Commandes d'installation supplémentaires
Linux
Debian aptvérifié · 92%
sudo apt install msolveDebian stable package indexes · msolve · Source: deb.debian.org
Fedora dnfvérifié · 92%
sudo dnf install msolveFedora Rawhide package metadata · msolve · Source: dl.fedoraproject.org
Nixvérifié · 92%
nix profile install nixpkgs#msolvenixpkgs package indexes · pkgs/by-name/ms/msolve/package.nix · Source: api.github.com
Arch Linux pacmanvérifié · 92%
sudo pacman -S msolveArch Linux sync databases · msolve · Source: geo.mirror.pkgbuild.com
aperçu
Résumé du paquet
Library for Polynomial System Solving through Algebraic Methods
Liens du projet
Commandes et alias
- msolve
historique
Historique du projet et usages
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.
Historique du projet
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.
Modes d'utilisation
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
posture de sécurité
Niveau de risque : vert
library-like package without higher-risk signals.
Classificateur de risque
risque vert · confiance faible · appliance
Pourquoi
- library-like package without higher-risk signals
Signaux
- metadata:library-like
Comportement d'installation
- Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
- Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
- S’installe avec 4 dépendances d’exécution.
- Les métadonnées de compilation listent 3 dépendances de compilation.
Revue recommandée
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
exécutables
Exécutables installés
| Commande | Type | Exposition | Note |
|---|---|---|---|
msolve | cli | exécutable global |
fraîcheur
Version et fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
page générée2026-07-25
version du gestionnaire0.10.1
gestionnaire mis à jour2026-07-08
données localesOK
amontà jour
dernière version détectéev0.10.1
https://github.com/algebraic-solving/msolve
- OKAucun avertissement de fraîcheur n'a été généré.
métadonnées d'installation
Métadonnées du paquet
| Clé du paquet | brew:msolve |
|---|---|
| Version | 0.10.1 |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/msolve |
| Page d'accueil | https://msolve.lip6.fr |
| Dépôt | https://github.com/algebraic-solving/msolve |
| Docs amont | https://msolve.lip6.fr/ |
| Licence | GPL-2.0-or-later |
| Archive source | https://github.com/algebraic-solving/msolve/archive/refs/tags/v0.10.1.tar.gz |
| Dernière mise à jour | 2026-07-08T13:36:05Z |
| Pulse | updated |
| Dépendances | flint, gmp, libomp, mpfr |
| Dépendances de compilation | autoconf, automake, libtool |
| Bouteille | disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
faits du registre
Détails de la base source
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | msolve |
| Version Scheme | 0 |
| Revision | 0 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
correspondances dans les bases sources
Autres enregistrements de gestionnaires de paquets
Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.
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 Dépendances
- normalized package name match
- Correspondance par : 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 Dépendances
- normalized package name match
- Correspondance par : Msolve
Debian apt95%
msolve 0.7.5-1
computer algebra algorithms for solving polynomial systems
sudo apt install msolve- Section: math
- Architecture: amd64
- 5 Dépendances
- normalized package name match
- Correspondance par : Msolve
Nix95%
msolve
nix profile install nixpkgs#msolve- normalized package name match
- Correspondance par : 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 Dépendances
- normalized package name match
- Correspondance par : 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 Dépendances
- normalized package name match
- Correspondance par : 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 Dépendances
- normalized package name match
- Correspondance par : 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 Dépendances
- 1 fournit
- normalized package name match
- Correspondance par : 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 Dépendances
- 2 fournit
- normalized package name match
- Correspondance par : 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 Dépendances
- 3 fournit
- normalized package name match
- Correspondance par : 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 Dépendances
- normalized package name match
- Correspondance par : Msolve
piste source
Généré depuis les données du dépôt
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Sources utilisées
- 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