풍뎅이 SAT 기반 제약 프로그래밍 시스템 용 프로토 타이핑 도구
지금 다운로드

풍뎅이 순위 및 요약

풍뎅이 태그

길 감시 장치 원기 토 솔버 아티팩트 트래커 아티팩트 추적 이슈 모니터 인공물 제약 프로그래밍 프로토 타이핑

풍뎅이 설명

SCARAB는 SAT 기반 제약 프로그래밍 시스템을 위해 설계된 무료, 오픈 소스 및 크로스 플랫폼 신속한 프로토 타이핑 유틸리티입니다. Scarab에는 SAT 인코딩 모듈, 제약 조건 프로그래밍 도메인 특정 언어 구성 요소 및 백엔드 SAT Solver의 인터페이스가 포함되어 있습니다. 또한 SCABAB를 사용하여 효율적인 SAT 기반 시스템을 생성 할 수도 있습니다.

풍뎅이 관련 소프트웨어