pyBMC

(★ 10)

Implementation of bounded model checking with Z3py. (AIGER1.0 support)

pyBMC 최신버젼 다운로드

최종 버전 다운로드 (.zip)

오늘의 추천 프로젝트

screenshot-to-code ★ 74,308

Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)

Python
codex ★ 110,839

터미널에서 실행되는 경량 코딩 에이전트

Rust
fucking-algorithm ★ 135,358

LeetCode를 격파하세요. 어떻게 해야 하는지뿐만 아니라, 왜 그런지까지 이해하면서요.

Markdown
javascript ★ 148,124

Airbnb의 JavaScript 스타일 가이드입니다. JavaScript 작성 시 가독성을 높이고 유지보수를 용이하게 하기 위한 포괄적인 규칙과 모범 사례를 담

JavaScript
anime ★ 72,308

JavaScript animation engine

JavaScript
ant-design ★ 99,135

기업용 UI 디자인 언어 및 React UI 라이브러리

TypeScript
// repository documentation