A minimalistic and high-performance SAT solver
Descrição do desenvolvedor (inglês)
O que é minisat?
Publicado por PolarGoose / niklasso, minisat é um software de código aberto para Windows. Foi escrito em C++.
Instalação e requisitos
O desenvolvedor disponibiliza instaladores Portátil para Windows 64 bits. Roda sem instalação (versão portátil).
Popularidade e tipos de arquivo
O código-fonte no GitHub (niklasso/minisat) tem 1.193 estrelas.
Descrição do projeto no GitHub: “A minimalistic and high-performance SAT solver”
Pontos positivos / Pontos negativos
Pontos positivos
- Código aberto: qualquer pessoa pode revisar e compilar o código
- Portátil: roda sem instalar
Pontos negativos
- Sem versão nativa ARM64
- Sem atualização há mais de um ano
Em resumo: minisat é um programa de código aberto para Windows, disponível para PCs 64 bits. As atualizações ficaram mais espaçadas.
É seguro baixar minisat?
- O arquivo vem de github.com, o domínio do próprio desenvolvedor
- O link de download usa HTTPS
- Há um hash SHA256 publicado para você verificar o arquivo:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Abrir o relatório do VirusTotal para este hash - O link ainda não foi verificado
- O código-fonte é público
- O ExeAtlas não hospeda, encapsula nem modifica instaladores
Guia relacionado: Como verificar o hash SHA256 de um arquivo no Windows
Práticas de segurança (OpenSSF Scorecard)
Verificações automáticas do repositório niklasso/minisat no GitHub feitas pela Open Source Security Foundation, executadas pela última vez em 19 de outubro de 2026.
- Sem binários no repositório10
- Licença declarada9
- Manutenção ativa0
- Revisão de código0
- Análise estática de código0
- Selo OpenSSF Best Practices0
- Política de segurança0
- Fuzzing0
- Proteção de branches0
A nota avalia como o projeto é desenvolvido e publicado, não se o programa é seguro para instalar. scorecard.dev
Versões recentes
Todas as 1 versões ›| Versão | Data | Tamanho | Arquivos |
|---|---|---|---|
| 2.2Atual | 13 de julho de 2025 | — | 64 bits ZIP |
Instalar pela linha de comando
Instalação silenciosa ›winget install --id PolarGoose.minisat -eGuia relacionado: Como usar o winget: instalar e atualizar programas
Também para outros sistemas
brew install minisatInformações
- Desenvolvedor
- PolarGoose / niklasso
- Licença
- MIT
- Preço
- Grátis
- Código-fonte
- github.com/niklasso/minisat
- Linguagem
- C++
- Requisitos
- Windows 11 / 10
- Arquitetura
- 64 bits
- Instalador
- Portátil
- Versão
- 2.2
- Lançamento
- 13 de julho de 2025
- Adicionado ao catálogo
- 13 de julho de 2025
- Versões registradas
- 1
- Estrelas no GitHub
- 1.193
- Forks no GitHub
- 422
- ID do winget
- PolarGoose.minisat
Avaliações
Ainda não há avaliações. Seja o primeiro a dar uma nota.
Perguntas frequentes
minisat é grátis?
Sim. minisat é um software de código aberto com licença MIT.
É seguro baixar minisat?
O download vem de github.com, um domínio do próprio desenvolvedor. O ExeAtlas não hospeda nem altera o arquivo. Você pode comparar o hash SHA256 do arquivo com o que aparece aqui ou abrir o relatório do VirusTotal para esse hash.
Como instalar minisat pelo winget?
Abra o PowerShell ou o Terminal do Windows e rode o comando winget mostrado nesta página. O winget baixa o instalador oficial e confere o hash SHA256 antes de executá-lo.
minisat roda em ARM (Windows on Arm)?
Não há versão ARM64; o Windows 11 on Arm consegue rodar a versão 64 bits por emulação.
Dá para usar minisat sem permissão de administrador?
Sim, é portátil: basta extrair e executar.