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
versiegeschiedenis
- Versie RedSam geplaatst op 2008-03-26
Verschillende oplossingen en updates - Versie N/A geplaatst op 2008-03-26
Programmadetails
- Categorie: Ontwikkeling > Andere
- Publisher: redsam.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: Array
- Platform: windows