Balík: sat4j (2.3.5-0.3)

[ Zdroj: sat4j  ]

výkonná knižnica riešiteľov SAT v Jave

Cieľom knižnice SAT4J je poskytnúť efektívnu knižnicu riešiteľov SAT v Jave. Na rozdiel od projektu OpenSAT knižnica SAT4J cieli na používateľov „čiernych skriniek“ na riešenie SAT, ktorí sú ochotní vkladať riešiteľov SAT do svojich aplikácií bez toho, aby sa zaujímali o to, ako fungujú. Projekt SAT4J sa tiež pokúša byť základom práce pre výskumníkov v oblasti SAT.

Značky: Pole: Matematika, Implementované v: Java, Role: role::program, role::shared-lib

Ostatné balíky súvisiace s balíkom sat4j

• dep: default-jre

  štandardné dynamické prostredie Java alebo kompatibilné s Javou

  alebo java7-runtime

  virtuálny balík poskytovaný balíkom default-jre, openjdk-11-jre, openjdk-17-jre

  alebo java8-runtime

  virtuálny balík poskytovaný balíkom default-jre, openjdk-11-jre, openjdk-17-jre

  alebo java9-runtime

  virtuálny balík poskytovaný balíkom default-jre, openjdk-11-jre, openjdk-17-jre

  alebo java10-runtime

  virtuálny balík poskytovaný balíkom default-jre, openjdk-11-jre, openjdk-17-jre

  alebo java11-runtime

  virtuálny balík poskytovaný balíkom default-jre, openjdk-11-jre, openjdk-17-jre

• dep: jarwrapper (>= 0.5)

  Spúšťa spustiteľné súbory Java .jar

• dep: libcommons-cli-java

  knižnica na spracovanie argumentov a volieb príkazového riadka

Stiahnuť sat4j

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
all	548.9 kB	687.0 kB	[zoznam súborov]