phySAT

(★ 17)

Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.

phySAT 최신버젼 다운로드

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

오늘의 추천 프로젝트

llama.cpp ★ 124,188

C/C++에서의 LLM 추론

C++
union ★ 73,854

검열 저항성, 극도로 높은 보안성, 그리고 탈중앙화 금융(DeFi)에서의 활용을 위해 설계된 신뢰 최소화 영지식 브리징 프로토콜입니다.

Rust
stable-diffusion-webui ★ 164,532

Stable Diffusion web UI

Python
claude-code ★ 141,652

Claude Code는 터미널에서 작동하는 에이전틱 코딩 도구로, 코드베이스를 이해하고 자연어 명령을 통해 반복적인 작업을 수행하고, 복잡한 코드를 설명하며, g

Python
Understand-Anything ★ 79,512

감동을 주는 그래프보다 가르쳐주는 그래프가 더 좋습니다. 어떤 코드든 탐색하고, 검색하고, 질문할 수 있는 인터랙티브 지식 그래프로 변환하세요. Claude Co

TypeScript
fzf ★ 82,545

:cherry_blossom: A command-line fuzzy finder

Go
// repository documentation