Package: sat4j (2.3.5-0.3)

[ Source: sat4j  ]

자바에서 SAT 솔버에 대한 효율적인 라이브러리

SAT4J의 목적은 자바에서 SAT 솔버에 대한 효과적인 라이브러리를 제공하는 것 입니다. OpenSAT 프로젝트와 비교해서, SAT4J 라이브러리는 세부 사항에 대한 걱 정 없이 어플리케이션에 SAT 기술을 포함하고자 하는 SAT "블랙 박스" 첫 사용자 를 대상으로 합니다. SAT4J 프로젝트는 또한 SAT 연구원들을 위한 작업의 기초를 제공하려 노력합니다.

Tags: Field: Mathematics, Implemented in: Java, Role: role::program, role::shared-lib

Other Packages Related to sat4j

• dep: default-jre

  Standard Java or Java compatible Runtime

  or java7-runtime

  virtual package provided by default-jre, openjdk-11-jre, openjdk-17-jre

  or java8-runtime

  virtual package provided by default-jre, openjdk-11-jre, openjdk-17-jre

  or java9-runtime

  virtual package provided by default-jre, openjdk-11-jre, openjdk-17-jre

  or java10-runtime

  virtual package provided by default-jre, openjdk-11-jre, openjdk-17-jre

  or java11-runtime

  virtual package provided by default-jre, openjdk-11-jre, openjdk-17-jre

• dep: jarwrapper (>= 0.5)

  Run executable Java .jar files

• dep: libcommons-cli-java

  Command line arguments and options parsing library

Download sat4j

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	548.9 kB	687.0 kB	[list of files]