A minimalistic and high-performance SAT solver
คำอธิบายจากผู้เผยแพร่ (อังกฤษ)
minisat คือโปรแกรมอะไร
PolarGoose / niklasso เป็นผู้เผยแพร่ minisat ซึ่งเป็นซอฟต์แวร์โอเพนซอร์สบน Windows พัฒนาด้วยภาษา C++
การติดตั้งและความต้องการของระบบ
ผู้เผยแพร่มีตัวติดตั้ง พกพา (Portable) สำหรับระบบ 64 บิต ใช้งานได้โดยไม่ต้องติดตั้ง (แบบพกพา)
ความนิยมและประเภทไฟล์
ซอร์สโค้ดบน GitHub (niklasso/minisat) ได้รับ 1,193 ดาว
คำอธิบายโครงการบน GitHub: “A minimalistic and high-performance SAT solver”
ข้อดี / ข้อเสีย
ข้อดี
- โอเพนซอร์ส ใครก็ตรวจสอบและคอมไพล์โค้ดเองได้
- แบบพกพา ใช้งานได้โดยไม่ต้องติดตั้ง
ข้อเสีย
- ไม่มีเวอร์ชัน ARM64 แบบเนทีฟ
- ไม่มีการอัปเดตมานานกว่าหนึ่งปี
สรุปสั้น ๆ: minisat เป็นเครื่องมือโอเพนซอร์สสำหรับ Windows สำหรับพีซี 64 บิต การอัปเดตช้าลงแล้ว
ดาวน์โหลด minisat ปลอดภัยไหม
- ไฟล์ให้บริการจาก github.com ซึ่งเป็นโดเมนของผู้เผยแพร่เอง
- ลิงก์ดาวน์โหลดใช้ HTTPS
- มีค่าแฮช SHA256 เผยแพร่ไว้ จึงตรวจสอบไฟล์ได้:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· เปิดรายงาน VirusTotal ของค่าแฮชนี้ - ยังไม่ได้ตรวจสอบลิงก์
- ซอร์สโค้ดเปิดเผยต่อสาธารณะ
- ExeAtlas ไม่เก็บ ไม่ห่อหุ้ม และไม่แก้ไขตัวติดตั้ง
คู่มือที่เกี่ยวข้อง: วิธีตรวจค่าแฮช SHA256 ของไฟล์บน Windows
แนวปฏิบัติด้านความปลอดภัย (OpenSSF Scorecard)
ผลตรวจอัตโนมัติของรีโพสิทอรี niklasso/minisat บน GitHub โดย Open Source Security Foundation ตรวจครั้งล่าสุดเมื่อ 19 ตุลาคม 2569
- ไม่มีไฟล์ไบนารีในรีโพ10
- ระบุสัญญาอนุญาต9
- มีการดูแลต่อเนื่อง0
- รีวิวโค้ด0
- วิเคราะห์โค้ดแบบสถิต0
- เครื่องหมาย OpenSSF Best Practices0
- นโยบายความปลอดภัย0
- ทดสอบแบบ fuzzing0
- ป้องกันบรานช์0
คะแนนนี้ประเมินวิธีพัฒนาและเผยแพร่โปรเจกต์ ไม่ได้บอกว่าโปรแกรมปลอดภัยต่อการติดตั้งหรือไม่ scorecard.dev
เวอร์ชันล่าสุด
ทั้งหมด 1 เวอร์ชัน ›| เวอร์ชัน | วันที่ | ขนาด | ไฟล์ |
|---|---|---|---|
| 2.2ล่าสุด | 13 กรกฎาคม 2568 | — | 64 บิต ZIP |
ติดตั้งผ่านบรรทัดคำสั่ง
ติดตั้งแบบเงียบ ›winget install --id PolarGoose.minisat -eคู่มือที่เกี่ยวข้อง: วิธีใช้ winget ติดตั้งและอัปเดตโปรแกรม
มีสำหรับระบบอื่นด้วย
brew install minisatข้อมูล
- ผู้เผยแพร่
- PolarGoose / niklasso
- สัญญาอนุญาต
- MIT
- ราคา
- ฟรี
- ซอร์สโค้ด
- github.com/niklasso/minisat
- เขียนด้วยภาษา
- C++
- ระบบที่ต้องการ
- Windows 11 / 10
- สถาปัตยกรรม
- 64 บิต
- ตัวติดตั้ง
- พกพา (Portable)
- เวอร์ชัน
- 2.2
- วันที่เผยแพร่
- 13 กรกฎาคม 2568
- เพิ่มเข้าแค็ตตาล็อก
- 13 กรกฎาคม 2568
- จำนวนเวอร์ชันในรายการ
- 1
- ดาว GitHub
- 1,193
- GitHub fork
- 422
- winget ID
- PolarGoose.minisat
คะแนนและรีวิว
ยังไม่มีรีวิว ร่วมให้คะแนนเป็นคนแรก
คำถามที่พบบ่อย
minisat ใช้ฟรีไหม
ฟรี minisat เป็นซอฟต์แวร์โอเพนซอร์ส ภายใต้สัญญาอนุญาต MIT
ดาวน์โหลด minisat ปลอดภัยไหม
ไฟล์ดาวน์โหลดมาจาก github.com ซึ่งเป็นของผู้เผยแพร่เอง ExeAtlas ไม่ได้เก็บหรือแก้ไขไฟล์นี้ คุณสามารถเทียบค่าแฮช SHA256 ของไฟล์กับค่าที่แสดงในหน้านี้ หรือเปิดรายงาน VirusTotal ของค่าแฮชนั้นได้
ติดตั้ง minisat ด้วย winget อย่างไร
เปิด PowerShell หรือ Windows Terminal แล้วรันคำสั่ง winget ที่แสดงในหน้านี้ winget จะดาวน์โหลดตัวติดตั้งทางการและตรวจสอบค่าแฮช SHA256 ก่อนเริ่มติดตั้ง
minisat ใช้บน ARM (Windows on Arm) ได้ไหม
ไม่มีเวอร์ชัน ARM64 แต่ Windows 11 on Arm สามารถรันเวอร์ชัน 64 บิต ผ่านการจำลองได้
ใช้ minisat โดยไม่มีสิทธิ์ผู้ดูแลระบบได้ไหม
ได้ เป็นแบบพกพา แตกไฟล์แล้วเปิดใช้งานได้เลย