인기: 데이터 업데이트: 2026년 11월 5일

카테고리

인터넷1,369
커뮤니케이션322
오디오 및 비디오908
그래픽 및 디자인548
오피스 및 생산성1,133
개발 도구3,163
AI 도구544
보안 및 개인정보394
시스템 도구3,152
게임531
교육 및 과학240
네트워크 및 IT287

minisat 이전 버전 및 전체 버전

A minimalistic and high-performance SAT solver

2025년 7월 13일부터 현재 버전 2.2까지 minisat의 1개 버전을 모았습니다. 모든 버전은 제공사의 공식 설치 파일로 연결됩니다.

2025: 1 1 25
버전날짜크기파일
2.2최신 2025년 7월 13일 — 64비트 ZIP

공유