![](/statics/img/blank.png)
Parallel Sat4J 0.01
Licentie: Gratis Bestandsgrootte: N/A
Gebruikersbeoordeling: 5.0/5 - 1 Stemmen
Een ogenblik geduld... Uw downloadlink wordt geverifieerd op schadelijke inhoud.
Je het binnen 5 seconden downloaden.
Je het binnen 5 seconden downloaden.
Over Parallel Sat4J
Dit is een academisch project; het belangrijkste doel is om een algoritme te genereren om een CNF-formule te paralleliseren en vervolgens de gedistribueerde onderdelen te voeden aan sequentiële SAT-oplossers, voor dit project hebben we ervoor gekozen om Sat4J als oplosser te gebruiken.