Package: sat4j (2.3.5-0.3)

[ Source: sat4j  ]

libreria efficiente per solutori SAT in Java

Lo scopo della libreria SAT4J è fornire una libreria efficiente per risolutori SAT in Java. Rispetto al progetto OpenSAT, la libreria SAT4J si rivolge a utenti alle prime armi con "scatole nere" SAT, che intendano inglobare le tecnologie SAT nelle proprie applicazioni senza curarsi dei dettagli. Il progetto SAT4J tenta anche di fornire una base di lavoro per ricercatori SAT.

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

Other Packages Related to sat4j

• dep: default-jre

  runtime Java standard o compatibile

  or java7-runtime

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

  or java8-runtime

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

  or java9-runtime

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

  or java10-runtime

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

  or java11-runtime

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

• dep: jarwrapper (>= 0.5)

  esegue file .jar Java

• dep: libcommons-cli-java

  libreria per analisi di argomenti e opzioni della riga di comando

Download sat4j

Download for all available architectures

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