An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
வெளியீட்டாளரின் விளக்கம் (ஆங்கிலம்)
cvc5 என்றால் என்ன?
cvc5, பேக்கேஜ் மேனேஜர்கள் மற்றும் அப்டேட்டர்கள் பிரிவைச் சேர்ந்த ஒரு ஓப்பன் சோர்ஸ் Windows மென்பொருள்.
நிறுவலும் தேவைகளும்
வெளியீட்டாளர் 64-பிட் மற்றும் ARM64 Windows-க்கு போர்ட்டபிள் வடிவில் நிறுவிகளை வழங்குகிறார். இதை நிறுவாமலேயே இயக்கலாம் (போர்ட்டபிள்).
நிறைகள் / குறைகள்
நிறைகள்
- ஓப்பன் சோர்ஸ்: குறியீட்டை யார் வேண்டுமானாலும் பார்க்கலாம், பில்ட் செய்யலாம்
- Windows on Arm-க்கான நேட்டிவ் ARM64 பதிப்பு
- போர்ட்டபிள்: நிறுவல் தேவையில்லை
சுருக்கமாக: cvc5 ஒரு 64-பிட் மற்றும் ARM64 கணினிகளுக்கான ஓப்பன் சோர்ஸ் பேக்கேஜ் மேனேஜர்கள் மற்றும் அப்டேட்டர்கள் பிரிவுக் கருவி.
cvc5 பதிவிறக்கம் பாதுகாப்பானதா?
- கோப்பை வழங்குவது github.com; இது வெளியீட்டாளரின் அதிகாரப்பூர்வ மிரர்தானா என்பதைச் சரிபாருங்கள்
- பதிவிறக்க இணைப்பு HTTPS பயன்படுத்துகிறது
- SHA256 ஹாஷ் வெளியிடப்பட்டுள்ளது, எனவே கோப்பைச் சரிபார்க்கலாம்:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· இந்த ஹாஷுக்கான VirusTotal அறிக்கையைத் திறக்கவும் - இணைப்பு இன்னும் சரிபார்க்கப்படவில்லை
- மூலக் குறியீடு பொதுவில் கிடைக்கிறது
- ExeAtlas நிறுவிகளைச் சேமிப்பதோ, சுற்றிக் கட்டுவதோ, மாற்றுவதோ இல்லை
தொடர்புடைய வழிகாட்டி: Windows-இல் கோப்பின் SHA256 ஹாஷைச் சரிபார்ப்பது எப்படி
அண்மைப் பதிப்புகள்
அனைத்து 1 பதிப்புகளும் ›| பதிப்பு | தேதி | அளவு | கோப்புகள் |
|---|---|---|---|
| 1.4.2சமீபத்தியது | — | 64-பிட் ZIPARM64 ZIP |
கமாண்ட் லைன் மூலம் நிறுவுதல்
சைலண்ட் இன்ஸ்டால் ›scoop install main/cvc5மென்பொருள் கோப்புகள் (.exe): cvc5.exe
தொடர்புடைய வழிகாட்டி: winget பயன்படுத்துவது எப்படி: நிறுவல், புதுப்பிப்பு
தகவல்
- பிரிவு
- பேக்கேஜ் மேனேஜர்கள் மற்றும் அப்டேட்டர்கள்
- உரிமம்
- BSD-3-Clause
- விலை
- இலவசம்
- தேவை
- Windows 11 / 10
- கட்டமைப்பு
- 64-பிட், ARM64
- நிறுவி வகை
- போர்ட்டபிள்
- பதிப்பு
- 1.4.2
- பட்டியலில் உள்ள பதிப்புகள்
- 1
- இணையதளம்
- cvc5.github.io
- Scoop தொகுப்பு
- main/cvc5
மதிப்பீடுகளும் விமர்சனங்களும்
இன்னும் விமர்சனங்கள் இல்லை. முதலில் மதிப்பிடுபவராக நீங்கள் இருங்கள்.
cvc5 மாற்று மென்பொருள்கள்
அனைத்தையும் பார்க்க ›-
ஓப்பன் சோர்ஸ்386.2மி ↓ -
ஓப்பன் சோர்ஸ்2.6மி ↓ -
ஓப்பன் சோர்ஸ்183ஆ ↓ -
ஓப்பன் சோர்ஸ்257.3ஆ ↓ -
UniGetUI (formerly WingetUI) - Pre-Release3.3.7-beta1பேக்கேஜ் மேனேஜர்கள் மற்றும் அப்டேட்டர்கள் · Martí Climentஓப்பன் சோர்ஸ்78.1ஆ ↓ -
ஓப்பன் சோர்ஸ்3.9ஆ ↓ -
ஓப்பன் சோர்ஸ்9.8ஆ ↓ -
ஓப்பன் சோர்ஸ்15ஆ ↓
அடிக்கடி கேட்கப்படும் கேள்விகள்
cvc5 இலவசமா?
ஆம். cvc5 ஒரு ஓப்பன் சோர்ஸ் மென்பொருள் (BSD-3-Clause உரிமம்).
cvc5 பதிவிறக்கம் பாதுகாப்பானதா?
கோப்பு github.com தளத்திலிருந்து வருகிறது. ExeAtlas கோப்பைச் சேமிப்பதோ மாற்றுவதோ இல்லை. இங்கே காட்டப்பட்டுள்ள SHA256 ஹாஷுடன் அதை ஒப்பிடுங்கள், அல்லது அந்த ஹாஷுக்கான VirusTotal அறிக்கையைத் திறந்து பாருங்கள்.
cvc5 ARM (Windows on Arm) கணினிகளில் இயங்குமா?
ஆம், நேட்டிவ் ARM64 நிறுவி உள்ளது.
நிர்வாகி உரிமைகள் இல்லாமல் cvc5 பயன்படுத்த முடியுமா?
ஆம், இது போர்ட்டபிள்: பிரித்தெடுத்து (unzip) நேரடியாக இயக்கலாம்.
