RedSam

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎1 ‎Stemmen

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