A minimalistic and high-performance SAT solver
வெளியீட்டாளரின் விளக்கம் (ஆங்கிலம்)
minisat என்றால் என்ன?
minisat, ஒரு ஓப்பன் சோர்ஸ் Windows மென்பொருள்; இதை வெளியிடுவது PolarGoose / niklasso. இது C++ மொழியில் எழுதப்பட்டுள்ளது.
நிறுவலும் தேவைகளும்
வெளியீட்டாளர் 64-பிட் Windows-க்கு போர்ட்டபிள் வடிவில் நிறுவிகளை வழங்குகிறார். இதை நிறுவாமலேயே இயக்கலாம் (போர்ட்டபிள்).
பிரபலமும் கோப்பு வகைகளும்
GitHub-இல் உள்ள இதன் மூலக் குறியீட்டுக்கு (niklasso/minisat) 1,193 ஸ்டார்கள் உள்ளன.
GitHub-இல் உள்ள திட்ட விளக்கம்: “A minimalistic and high-performance SAT solver”
நிறைகள் / குறைகள்
நிறைகள்
- ஓப்பன் சோர்ஸ்: குறியீட்டை யார் வேண்டுமானாலும் பார்க்கலாம், பில்ட் செய்யலாம்
- போர்ட்டபிள்: நிறுவல் தேவையில்லை
குறைகள்
- நேட்டிவ் ARM64 பதிப்பு இல்லை
- ஓராண்டுக்கு மேலாகப் புதுப்பிப்பு இல்லை
சுருக்கமாக: minisat ஒரு 64-பிட் கணினிகளுக்கான ஓப்பன் சோர்ஸ் Windows கருவி. இதன் புதுப்பிப்புகள் குறைந்துவிட்டன.
minisat பதிவிறக்கம் பாதுகாப்பானதா?
- கோப்பை வழங்குவது github.com, இது வெளியீட்டாளரின் சொந்த டொமைன்
- பதிவிறக்க இணைப்பு HTTPS பயன்படுத்துகிறது
- SHA256 ஹாஷ் வெளியிடப்பட்டுள்ளது, எனவே கோப்பைச் சரிபார்க்கலாம்:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· இந்த ஹாஷுக்கான VirusTotal அறிக்கையைத் திறக்கவும் - இணைப்பு இன்னும் சரிபார்க்கப்படவில்லை
- மூலக் குறியீடு பொதுவில் கிடைக்கிறது
- ExeAtlas நிறுவிகளைச் சேமிப்பதோ, சுற்றிக் கட்டுவதோ, மாற்றுவதோ இல்லை
தொடர்புடைய வழிகாட்டி: Windows-இல் கோப்பின் SHA256 ஹாஷைச் சரிபார்ப்பது எப்படி
பாதுகாப்பு நடைமுறைகள் (OpenSSF Scorecard)
GitHub-இல் உள்ள niklasso/minisat ரெப்பாசிட்டரியை Open Source Security Foundation தானியங்கியாகச் சோதித்த முடிவுகள்; கடைசிச் சோதனை: 19 அக்டோபர், 2026.
- ரெப்பாசிட்டரியில் பைனரி கோப்புகள் இல்லை10
- உரிமம் குறிப்பிடப்பட்டுள்ளது9
- தொடர்ந்து பராமரிக்கப்படுகிறது0
- கோட் மறுஆய்வு0
- நிலையான கோட் பகுப்பாய்வு0
- OpenSSF Best Practices பேட்ஜ்0
- பாதுகாப்புக் கொள்கை0
- ஃபஸ்ஸிங் சோதனை0
- பிராஞ்ச் பாதுகாப்பு0
இந்த மதிப்பெண் திட்டம் எவ்வாறு உருவாக்கப்பட்டு வெளியிடப்படுகிறது என்பதை மதிப்பிடுகிறது; மென்பொருளை நிறுவுவது பாதுகாப்பானதா என்பதை அல்ல. scorecard.dev
அண்மைப் பதிப்புகள்
அனைத்து 1 பதிப்புகளும் ›| பதிப்பு | தேதி | அளவு | கோப்புகள் |
|---|---|---|---|
| 2.2சமீபத்தியது | 13 ஜூலை, 2025 | — | 64-பிட் ZIP |
கமாண்ட் லைன் மூலம் நிறுவுதல்
சைலண்ட் இன்ஸ்டால் ›winget install --id PolarGoose.minisat -eதொடர்புடைய வழிகாட்டி: winget பயன்படுத்துவது எப்படி: நிறுவல், புதுப்பிப்பு
பிற இயங்குதளங்களுக்கும் கிடைக்கும்
brew install minisatதகவல்
- வெளியீட்டாளர்
- PolarGoose / niklasso
- உரிமம்
- MIT
- விலை
- இலவசம்
- மூலக் குறியீடு
- github.com/niklasso/minisat
- நிரலாக்க மொழி
- C++
- தேவை
- Windows 11 / 10
- கட்டமைப்பு
- 64-பிட்
- நிறுவி வகை
- போர்ட்டபிள்
- பதிப்பு
- 2.2
- வெளியான தேதி
- 13 ஜூலை, 2025
- பட்டியலில் சேர்க்கப்பட்டது
- 13 ஜூலை, 2025
- பட்டியலில் உள்ள பதிப்புகள்
- 1
- GitHub ஸ்டார்கள்
- 1,193
- GitHub ஃபோர்க்குகள்
- 422
- winget ID
- PolarGoose.minisat
மதிப்பீடுகளும் விமர்சனங்களும்
இன்னும் விமர்சனங்கள் இல்லை. முதலில் மதிப்பிடுபவராக நீங்கள் இருங்கள்.
அடிக்கடி கேட்கப்படும் கேள்விகள்
minisat இலவசமா?
ஆம். minisat ஒரு ஓப்பன் சோர்ஸ் மென்பொருள் (MIT உரிமம்).
minisat பதிவிறக்கம் பாதுகாப்பானதா?
கோப்பு github.com தளத்திலிருந்து வருகிறது; அந்தத் தளம் வெளியீட்டாளருக்குச் சொந்தமானது. ExeAtlas கோப்பைச் சேமிப்பதோ மாற்றுவதோ இல்லை. இங்கே காட்டப்பட்டுள்ள SHA256 ஹாஷுடன் அதை ஒப்பிடுங்கள், அல்லது அந்த ஹாஷுக்கான VirusTotal அறிக்கையைத் திறந்து பாருங்கள்.
winget மூலம் minisat மென்பொருளை எப்படி நிறுவுவது?
PowerShell அல்லது Windows Terminal-ஐத் திறந்து, இந்தப் பக்கத்தில் உள்ள winget கட்டளையை இயக்குங்கள். winget அதிகாரப்பூர்வ நிறுவியைப் பதிவிறக்கி, இயக்கும் முன் அதன் SHA256 ஹாஷைச் சரிபார்க்கும்.
minisat ARM (Windows on Arm) கணினிகளில் இயங்குமா?
ARM64 பதிப்பு இல்லை; Windows 11 on Arm எமுலேஷன் மூலம் 64-பிட் பதிப்பை இயக்க முடியும்.
நிர்வாகி உரிமைகள் இல்லாமல் minisat பயன்படுத்த முடியுமா?
ஆம், இது போர்ட்டபிள்: பிரித்தெடுத்து (unzip) நேரடியாக இயக்கலாம்.