# Installer minisat

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de minisat pour les workflows d'agents IA.

## installation

```sh
sudo av install brew:minisat
```

Commandes d'installation supplémentaires:

### macOS

- Homebrew (100%):

```sh
brew install minisat
```

  Preuve: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install minisat
```

  Preuve: MacPorts ports tree: math/minisat/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Linux

- Debian apt (92%):

```sh
sudo apt install minisat
```

  Preuve: Debian stable package indexes: minisat from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

- Nix (92%):

```sh
nix profile install nixpkgs#minisat
```

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

- pacman (92%):

```sh
sudo pacman -S minisat
```

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

- zypper (92%):

```sh
sudo zypper install minisat
```

  Preuve: openSUSE Tumbleweed package metadata: minisat from https://download.opensuse.org/tumbleweed/repo/oss/repodata/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-primary.xml.zst

### Windows

- winget (92%):

```sh
winget install --id PolarGoose.minisat -e
```

  Preuve: Windows Package Manager source index: PolarGoose.minisat from https://cdn.winget.microsoft.com/cache/source.msix

## Faits du paquet

- **Clé du paquet:** brew:minisat
- **Gestionnaire de paquets:** Homebrew
- **Page du gestionnaire de paquets:** <https://formulae.brew.sh/formula/minisat>
- **Version:** 2.2.1
- **Résumé source:** Minimalistic and high-performance SAT solver
- **Page d'accueil:** <https://github.com/stp/minisat>
- **Dépôt:** <https://github.com/stp/minisat>
- **Licence:** MIT
- **Archive source:** <https://github.com/stp/minisat/archive/refs/tags/releases/2.2.1.tar.gz>
- **Mis à jour:** 2026-02-22T17:15:55+01:00
- **Source générée:** 2026-05-26T22:45:13+00:00

## exécutables

- minisat (cli)
- minisat_core (cli)
- minisat (alias)
- minisat_core (alias)

## Dépendances de compilation

- cmake

## Comportement d'installation

- hook post-installation: non défini
- Bouteille: disponible sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## fraîcheur

- page générée: 2026-05-26
- version du gestionnaire: 2.2.1
- gestionnaire mis à jour: 2026-02-22
- données locales: ok
- dépôt amont: https://github.com/stp/minisat
- dernière version détectée: releases/2.2.1 (current)

## Notes de sécurité

narrow executable package without higher-risk signals.

- **Risque Geiger:** green / low
- narrow executable package without higher-risk signals

## Liens liés

- [cmake](https://www.automicvault.com/pkg/brew/cmake/) - Build dependency declared by Homebrew.
- [stp](https://www.automicvault.com/pkg/brew/stp/) - Popular package that depends on this formula.
- [klee](https://www.automicvault.com/pkg/brew/klee/) - Popular package that depends on this formula.

## Sources

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- package relationship graph
- cross-ecosystem install command graph