A minimalistic and high-performance SAT solver
Yayıncının açıklaması (İngilizce)
minisat nedir?
minisat programı açık kaynaklı bir Windows yazılımıdır; yayıncısı PolarGoose / niklasso. Programlama dili: C++.
Kurulum ve gereksinimler
Yayıncı 64 bit sistemler için Taşınabilir kurulum dosyası sağlıyor. Kurulum gerektirmeden çalışır (taşınabilir).
Popülerlik ve dosya türleri
GitHub'daki kaynak kodu (niklasso/minisat) 1.193 yıldız almış.
GitHub’daki proje açıklaması: “A minimalistic and high-performance SAT solver”
Artılar / Eksiler
Artılar
- Açık kaynak: kodu herkes inceleyebilir ve derleyebilir
- Taşınabilir: kurulum gerektirmez
Eksiler
- Yerel ARM64 sürümü yok
- Bir yıldan uzun süredir güncellenmedi
Kısaca: minisat, 64 bit bilgisayarlar için açık kaynaklı bir Windows aracı. Güncellemeleri yavaşlamış.
minisat indirmek güvenli mi?
- Dosya yayıncının kendi alan adından (github.com) geliyor
- İndirme bağlantısı HTTPS kullanıyor
- SHA256 değeri yayımlanmış; dosyayı doğrulayabilirsiniz:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Bu hash için VirusTotal raporunu açın - Bağlantı henüz kontrol edilmedi
- Kaynak kodu herkese açık
- ExeAtlas kurulum dosyalarını barındırmaz, sarmalamaz, değiştirmez
İlgili rehber: Windows’ta bir dosyanın SHA256 özeti nasıl doğrulanır
Güvenlik uygulamaları (OpenSSF Scorecard)
Open Source Security Foundation'ın GitHub'daki niklasso/minisat deposu için yaptığı otomatik denetim; son çalıştırma 19 Ekim 2026.
- Depoda ikili dosya yok10
- Lisans belirtilmiş9
- Etkin bakım0
- Kod incelemesi0
- Statik kod analizi0
- OpenSSF iyi uygulama rozeti0
- Güvenlik politikası0
- Fuzz testi0
- Dal koruması0
Puan, projenin nasıl geliştirilip yayımlandığını ölçer; programın kurulmasının güvenli olup olmadığını değil. scorecard.dev
Son sürümler
1 sürümün tümü ›| Sürüm | Tarih | Boyut | Dosyalar |
|---|---|---|---|
| 2.2Güncel | 13 Temmuz 2025 | — | 64 bit ZIP |
Komut satırından kurulum
Sessiz kurulum ›winget install --id PolarGoose.minisat -eİlgili rehber: winget nasıl kullanılır: program kurma ve güncelleme
Diğer sistemler için de var
brew install minisatBilgiler
- Yayıncı
- PolarGoose / niklasso
- Lisans
- MIT
- Fiyat
- Ücretsiz
- Kaynak kodu
- github.com/niklasso/minisat
- Yazıldığı dil
- C++
- Gereksinim
- Windows 11 / 10
- Mimari
- 64 bit
- Kurulum türü
- Taşınabilir
- Sürüm
- 2.2
- Çıkış tarihi
- 13 Temmuz 2025
- Kataloğa eklenme
- 13 Temmuz 2025
- Kayıtlı sürüm
- 1
- GitHub yıldızı
- 1.193
- GitHub fork
- 422
- winget kimliği
- PolarGoose.minisat
Puanlar ve yorumlar
Henüz yorum yok. İlk puanı siz verin.
Sıkça sorulan sorular
minisat ücretsiz mi?
Evet. minisat açık kaynaklı bir programdır (MIT lisansı).
minisat indirmek güvenli mi?
İndirme github.com adresinden gelir; bu adres yayıncıya ait. ExeAtlas dosyayı barındırmaz ve değiştirmez. İndirdiğiniz dosyanın SHA256 değerini burada gösterilenle karşılaştırabilir ya da bu hash için VirusTotal raporunu açabilirsiniz.
minisat winget ile nasıl kurulur?
PowerShell ya da Windows Terminal açıp bu sayfadaki winget komutunu çalıştırın. winget resmî kurulum dosyasını indirir ve çalıştırmadan önce SHA256 değerini doğrular.
minisat ARM işlemcide (Windows on Arm) çalışır mı?
ARM64 sürümü yok; Windows 11 on Arm, 64 bit sürümünü öykünmeyle çalıştırabilir.
minisat yönetici izni olmadan kullanılabilir mi?
Evet, taşınabilir: arşivden çıkarıp çalıştırmanız yeterli.