J-Tre

Een eenvoudige op Java gebaseerde SAT-oplosser
Download nu

J-Tre Rangschikking & Samenvatting

Advertentie

  • Rating:
  • Vergunning:
  • GPL
  • Naam uitgever:
  • Richard de Benedictis
  • Uitgever website:
  • http://code.google.com/u/ricdebenedictis@gmail.com/
  • Besturingssystemen:
  • Mac OS X
  • Bestandsgrootte:
  • 254 KB

J-Tre Tags


J-Tre Beschrijving

J-TRE is een eenvoudige en minimalistische Java-implementatie van minisat, een uitbreidbare SAT-oplosser. J-TRE is een grootformaathulpprogramma dat kan worden uitgevoerd op elk besturingssysteem dat wordt geleverd met Java-ondersteuning (b.v. Mac OS X, Windows, Linux).


J-Tre Gerelateerde software

Beanio

Java Library for Marshalling en Unmarshalling Bean-objecten uit een stroom ...

120 2.1 MB

Downloaden

Over ons