j-tre.

간단한 Java 기반 SAT Solver
지금 다운로드

j-tre. 순위 및 요약

광고

  • Rating:
  • 특허:
  • GPL
  • 게시자 이름:
  • Richard de Benedictis
  • 게시자 웹사이트:
  • http://code.google.com/u/ricdebenedictis@gmail.com/
  • 운영체제:
  • Mac OS X
  • 파일 크기:
  • 254 KB

j-tre. 태그


j-tre. 설명

J-TRE는 확장 가능한 SAT 솔버 인 MiniSat의 간단하고 최소한의 Java 구현입니다. J-TRE는 Java 지원 (예 : Mac OS X, Windows, Linux)과 함께 제공되는 모든 운영 체제에서 실행할 수있는 크로스 플랫폼 유틸리티입니다.


j-tre. 관련 소프트웨어

회사 소개