QWIRE
A quantum circuit language and formal verification tool
파일 탐색기
최종 버전 다운로드 (.zip)- .gitignore
- _CoqProject
- Ancilla.v
- Arithmetic.v
- Composition.v
- Contexts.v
- DBCircuits.v
- Denotation.v
- Deutsch.v
- Equations.v
- GHZ.v
- HOASCircuits.v
- HOASExamples.v
- HOASLib.v
- HOASProofs.v
- LICENSE.md
- Makefile
- Monad.v
- Monoid.v
- Oracles.v
- QASM.v
- QASMExamples.v
- QASMPrinter.v
- README.md
- SemanticLib.v
- Symmetric.v
- TypeChecking.v
- UnitarySemantics.v
# 설치 가이드
1. 코드 내려받기
git clone https://github.com/inQWIRE/QWIRE
깃허브에서 프로젝트 코드 전체를 내 컴퓨터로 내려받습니다.
cd QWIRE
방금 내려받은 프로젝트 폴더 안으로 이동합니다.
2. Make
보통 추천사전 준비물
- Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
- Make Linux/macOS는 보통 기본 설치되어 있습니다. Windows는 별도 설치(예: MSYS2, WSL)가 필요합니다.
make
생성된 빌드 설정을 바탕으로 실제 컴파일을 진행해 실행 파일을 만듭니다.
에러 없이 끝나면 성공입니다. 생성된 실행 파일을 직접 실행해보세요.
// repository documentation
Was this content helpful?
(0 ratings)