Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 제공업체에서 실행할 수 있는 sat4j 명령입니다.
프로그램:
이름
sat4j - Java의 효율적인 SAT 솔버 라이브러리
개요
sat4j 입력 파일
기술
이 매뉴얼 페이지는 간략하게 설명합니다 sat4j 명령.
sat4j Java로 작성된 SAT 솔버를 위한 효율적인 라이브러리입니다.
초기 문서 세트는 다음에서 찾을 수 있습니다. http://www.sat4j.org/doc.php (의
특히 "시작 안내서"를 참조하는 것이 좋습니다). 이 문서는 배송되지 않습니다
DFSG가 포함되어 있지 않기 때문에 패키지에 포함되어 있습니다.
onworks.net 서비스를 사용하여 온라인으로 sat4j를 사용하세요