SAT4J Brengt de kracht van SAT-technologie naar het Java-platform
Download nu

SAT4J Rangschikking & Samenvatting

SAT4J Tags

kader Redenerende motor redenering za Zat framework Zat bibliotheek

SAT4J Beschrijving

Brengt de kracht van SAT-technologie naar het Java-platform SAT4J is een open source en een gratis redeneren motorbibliotheek in Java op basis van het bevredigende probleem (SAT) .Sat4j bibliotheek's doel is om een efficiënte bibliotheek van SAT-solvers in Java te bieden. In vergelijking met het OpenSAT-project richt de SAT4J-bibliotheek de eerste gebruikers van SAT "Black-boxen", bereid om SAT-technologieën in hun toepassing in te brengen zonder zich zorgen te maken over de details. Gedetailleerde gebruiksinstructies voor de SAT4J redeneringsmotor zijn hier beschikbaar. Vereisten: · Java Wat is er nieuw in deze release: · Bugfix-release: fixeert een efficiëntiefout in de XPLain-klasse.

SAT4J Gerelateerde software