A minimalistic and high-performance SAT solver
Naşirin təsviri (ingilis)
minisat nədir?
minisat proqramı açıq mənbəli Windows proqram təminatıdır; naşiri: PolarGoose / niklasso. Proqramlaşdırma dili: C++.
Quraşdırma və tələblər
Naşir 64 bit sistemlər üçün Portativ quraşdırma faylı verir. Quraşdırma olmadan işləyir (portativ).
Populyarlıq və fayl növləri
GitHub-dakı mənbə kodu (niklasso/minisat) 1.193 ulduz toplayıb.
GitHub-dakı layihə təsviri: “A minimalistic and high-performance SAT solver”
Üstünlüklər / Çatışmazlıqlar
Üstünlüklər
- Açıq mənbə: kodu hər kəs yoxlaya və yığa bilər
- Portativ: quraşdırma tələb etmir
Çatışmazlıqlar
- Yerli ARM64 versiyası yoxdur
- Bir ildən çoxdur yenilənməyib
Qısaca: minisat 64 bit kompüterlər üçün açıq mənbəli Windows alətidir. Yeniləmələri seyrəlib.
minisat proqramını yükləmək təhlükəsizdirmi?
- Fayl naşirin öz domenindən (github.com) gəlir
- Yükləmə keçidi HTTPS istifadə edir
- SHA256 heşi dərc olunub, faylı yoxlaya bilərsiniz:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Bu heş üçün VirusTotal hesabatını açın - Keçid hələ yoxlanılmayıb
- Mənbə kodu açıqdır
- ExeAtlas quraşdırma fayllarını saxlamır, bükmür və dəyişmir
Əlaqəli təlimat: Windows-da faylın SHA256 heşini necə yoxlamaq olar
Təhlükəsizlik təcrübələri (OpenSSF Scorecard)
Open Source Security Foundation-ın GitHub-dakı niklasso/minisat reposu üçün avtomatik yoxlaması; son dəfə 19 oktyabr 2026 tarixində işə salınıb.
- Repoda binar fayl yoxdur10
- Lisenziya göstərilib9
- Aktiv dəstək0
- Kod yoxlaması0
- Statik kod analizi0
- OpenSSF Best Practices nişanı0
- Təhlükəsizlik siyasəti0
- Fuzz testi0
- Budaq qorunması0
Bal layihənin necə hazırlandığını və buraxıldığını ölçür, proqramı quraşdırmağın təhlükəsiz olub-olmadığını yox. scorecard.dev
Son versiyalar
Bütün 1 versiya ›| Versiya | Tarix | Ölçü | Fayllar |
|---|---|---|---|
| 2.2Son versiya | 13 iyul 2025 | — | 64 bit ZIP |
Əmr sətrindən quraşdırma
Səssiz quraşdırma ›winget install --id PolarGoose.minisat -eƏlaqəli təlimat: winget necə istifadə olunur: quraşdırma və yeniləmə
Digər sistemlər üçün də var
brew install minisatMəlumat
- Naşir
- PolarGoose / niklasso
- Lisenziya
- MIT
- Qiymət
- Pulsuz
- Mənbə kodu
- github.com/niklasso/minisat
- Proqramlaşdırma dili
- C++
- Tələb
- Windows 11 / 10
- Arxitektura
- 64 bit
- Quraşdırma növü
- Portativ
- Versiya
- 2.2
- Buraxılış tarixi
- 13 iyul 2025
- Kataloqa əlavə olunub
- 13 iyul 2025
- Qeydə alınmış versiya
- 1
- GitHub ulduzu
- 1.193
- GitHub fork
- 422
- winget ID
- PolarGoose.minisat
Qiymətlər və rəylər
Hələ rəy yoxdur. İlk qiyməti siz verin.
Tez-tez verilən suallar
minisat pulsuzdurmu?
Bəli. minisat açıq mənbəli proqramdır (MIT lisenziyası).
minisat proqramını yükləmək təhlükəsizdirmi?
Fayl github.com ünvanından yüklənir; bu ünvan naşirə məxsusdur. ExeAtlas faylı saxlamır və dəyişmir. Yüklədiyiniz faylın SHA256 heşini burada göstərilənlə müqayisə edə və ya bu heş üçün VirusTotal hesabatını aça bilərsiniz.
minisat proqramı winget ilə necə quraşdırılır?
PowerShell və ya Windows Terminal açın və bu səhifədəki winget əmrini işə salın. winget rəsmi quraşdırma faylını yükləyir və işə salmazdan əvvəl SHA256 heşini yoxlayır.
minisat ARM prosessorda (Windows on Arm) işləyirmi?
ARM64 versiyası yoxdur; Windows 11 on Arm 64 bit versiyasını emulyasiya ilə işə sala bilər.
minisat proqramından administrator hüquqları olmadan istifadə etmək olarmı?
Bəli, portativdir: arxivdən çıxarıb işə salmaq kifayətdir.