![](/statics/img/blank.png)
RedSam
Licentie: Gratis Bestandsgrootte: N/A
Gebruikersbeoordeling: 4.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 RedSam
Beperking Tevredenheidsproblemen Solver voor binaire beperkingen, invoerbestanden in XML met het huidige formaat XCSP 2.1, aangenomen voor de 2008 CSP/MaxCSP/WCSP solver competitie. De oplosser bevindt zich in C++ en gebruikt de boostbibliotheek