A minimalistic and high-performance SAT solver
Περιγραφή του εκδότη (Αγγλικά)
Τι είναι το minisat;
Το minisat κυκλοφορεί από τον εκδότη PolarGoose / niklasso και είναι λογισμικό ανοιχτού κώδικα για Windows. Γλώσσα προγραμματισμού: C++.
Εγκατάσταση και απαιτήσεις
Ο εκδότης διαθέτει αρχεία εγκατάστασης Φορητό για Windows 64-bit. Λειτουργεί χωρίς εγκατάσταση (φορητή έκδοση).
Δημοτικότητα και τύποι αρχείων
Ο πηγαίος κώδικας στο GitHub (niklasso/minisat) έχει 1.193 αστέρια.
Περιγραφή του έργου στο GitHub: “A minimalistic and high-performance SAT solver”
Πλεονεκτήματα / Μειονεκτήματα
Πλεονεκτήματα
- Ανοιχτός κώδικας: ο καθένας μπορεί να τον ελέγξει και να τον μεταγλωττίσει
- Φορητό: λειτουργεί χωρίς εγκατάσταση
Μειονεκτήματα
- Δεν υπάρχει εγγενής έκδοση ARM64
- Καμία ενημέρωση εδώ και πάνω από έναν χρόνο
Συνοπτικά: Το minisat είναι εργαλείο ανοιχτού κώδικα για Windows για υπολογιστές 64-bit. Οι ενημερώσεις έχουν αραιώσει.
Είναι ασφαλής η λήψη του minisat;
- Το αρχείο διατίθεται από το github.com, τον τομέα του ίδιου του εκδότη
- Ο σύνδεσμος λήψης χρησιμοποιεί HTTPS
- Δημοσιεύεται hash SHA256, οπότε μπορείτε να επαληθεύσετε το αρχείο:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· Άνοιγμα της αναφοράς VirusTotal για αυτό το hash - Ο σύνδεσμος δεν έχει ελεγχθεί ακόμη
- Ο πηγαίος κώδικας είναι δημόσιος
- Το ExeAtlas δεν φιλοξενεί, δεν τυλίγει και δεν τροποποιεί αρχεία εγκατάστασης
Σχετικός οδηγός: Έλεγχος SHA256 αρχείου στα Windows
Πρακτικές ασφάλειας (OpenSSF Scorecard)
Αυτόματοι έλεγχοι του αποθετηρίου niklasso/minisat στο GitHub από το Open Source Security Foundation· τελευταία εκτέλεση: 19 Οκτωβρίου 2026.
- Χωρίς δυαδικά αρχεία στο αποθετήριο10
- Δηλωμένη άδεια9
- Ενεργή συντήρηση0
- Αναθεώρηση κώδικα0
- Στατική ανάλυση κώδικα0
- Σήμα OpenSSF Best Practices0
- Πολιτική ασφαλείας0
- Fuzzing0
- Προστασία κλάδων0
Η βαθμολογία αξιολογεί τον τρόπο με τον οποίο αναπτύσσεται και κυκλοφορεί το έργο, όχι το αν η εγκατάσταση του προγράμματος είναι ασφαλής. scorecard.dev
Πρόσφατες εκδόσεις
Η μία έκδοση ›| Έκδοση | Ημερομηνία | Μέγεθος | Αρχεία |
|---|---|---|---|
| 2.2Τελευταία | 13 Ιουλίου 2025 | — | 64-bit ZIP |
Εγκατάσταση από τη γραμμή εντολών
Αθόρυβη εγκατάσταση ›winget install --id PolarGoose.minisat -eΣχετικός οδηγός: Οδηγός winget: εγκατάσταση και ενημέρωση προγραμμάτων
Διαθέσιμο και για άλλα συστήματα
brew install minisatΠληροφορίες
- Εκδότης
- PolarGoose / niklasso
- Άδεια
- MIT
- Τιμή
- Δωρεάν
- Πηγαίος κώδικας
- github.com/niklasso/minisat
- Γλώσσα προγραμματισμού
- C++
- Απαιτήσεις
- Windows 11 / 10
- Αρχιτεκτονική
- 64-bit
- Αρχείο εγκατάστασης
- Φορητό
- Έκδοση
- 2.2
- Κυκλοφορία
- 13 Ιουλίου 2025
- Προστέθηκε στον κατάλογο
- 13 Ιουλίου 2025
- Καταγεγραμμένες εκδόσεις
- 1
- Αστέρια GitHub
- 1.193
- Forks στο GitHub
- 422
- Αναγνωριστικό winget
- PolarGoose.minisat
Βαθμολογίες και κριτικές
Δεν υπάρχουν ακόμη κριτικές. Γίνετε οι πρώτοι που θα βαθμολογήσουν.
Συχνές ερωτήσεις
Είναι δωρεάν το minisat;
Ναι. Το minisat είναι λογισμικό ανοιχτού κώδικα με άδεια MIT και η λήψη και η χρήση του είναι δωρεάν.
Είναι ασφαλής η λήψη του minisat;
Το αρχείο κατεβαίνει από το github.com, που ανήκει στον εκδότη· το ExeAtlas δεν φιλοξενεί ούτε τροποποιεί το αρχείο. Συγκρίνετε το hash SHA256 του αρχείου με αυτό που εμφανίζεται εδώ ή ανοίξτε την αναφορά VirusTotal για αυτό το hash.
Πώς εγκαθίσταται το minisat με το winget;
Ανοίξτε το PowerShell ή το Windows Terminal και εκτελέστε την εντολή winget που εμφανίζεται σε αυτή τη σελίδα. Το winget κατεβάζει το επίσημο αρχείο εγκατάστασης και ελέγχει το hash SHA256 πριν το εκτελέσει.
Λειτουργεί το minisat σε ARM (Windows on Arm);
Δεν υπάρχει έκδοση ARM64· τα Windows 11 on Arm μπορούν να εκτελέσουν την έκδοση 64-bit μέσω εξομοίωσης.
Μπορώ να χρησιμοποιήσω το minisat χωρίς δικαιώματα διαχειριστή;
Ναι, είναι φορητό: αρκεί να το αποσυμπιέσετε και να το εκτελέσετε.