Gecode - Gecode - Wikipedia
Gecode (pro Vývojové prostředí generických omezení) je softwarová knihovna pro Řešení Problémy s uspokojením omezení. Je naprogramován v C ++ a distribuovány jako svobodný software pod tolerancí Licence MIT. Gecode má vazby pro několik programovacích jazyků, jako je Prolog, Krajta a Rubín a rozhraní k AMPL modelovací jazyk.
Vývoj Gecode vedl Christian Schulte,[1] ale přispělo k němu mnoho dalších výzkumníků a programátorů, včetně Denys Duchier, Filip Konvicka, Gabor Szokoli, Guido Tack, Håkan Kjellerstrand, Mikael Lagerkvist, Patrick Pekczynski, Raphael Reischuk a Tias Guns.[2]
První vydání Gecode bylo v prosinci 2005.[3] Od té doby se Gecode rychle stal jedním z nejvýznamnějších programování omezení systémy.[Citace je zapotřebí ]Důvodem je to, že běží rychle, je rozšiřitelný, bezplatný a otevřený zdroj pod povolenou licencí a je napsán v populárním jazyce. Kromě toho, že je sám o sobě velmi užitečný, jeho rozšiřitelnost a licencování jej činí velmi vhodným pro použití v jiných projektech.[4] Gecode byl přenesen do několika jazyků, například Gelisp je obal Gecode pro Lisp.[5]
Poznámky
- ^ Prohlášení na webové stránce Christiana Schulteho, 10. listopadu 2009
- ^ Seznam autorů dokumentace Gecode, 10. listopadu 2009
- ^ Seznam změn gecode
- ^ Seznam projektů využívajících Gecode
- ^ Mauricio Toro, Carlos Agon, Camilo Rueda, Gerard Assayag. "GELISP: RÁMEC REPRESUJÍCÍCH PROBLÉMŮ SPOKOJENOSTI V OBLASTI OMEZENÍ SPOJENÍ A HLEDÁNÍ STRATEGIÍ. “Journal of Theoretical and Applied Information Technology 86 (2). 2016. 327-331.
Reference
- Urychlení šíření omezení. Christian Schulte a Peter J. Stuckey, In Wallace, 2004, strany 619–633.
- Kompilace a provádění deklarativních modelovacích jazyků do Gecode. Raffaele Cipriano, Agostino Dovier, Jacopo Mauro. Konference: Mezinárodní konference o logickém programování / Společná mezinárodní konference a sympozium o logickém programování - ICLP (JICSLP), s. 744–748, 2008
- Programování monadických omezení pomocí Gecode. Pieter Wuille, Tom Schrijvers. Sborník příspěvků z 8. mezinárodního workshopu na stránkách Omezení modelování a reformace: 171-185. Mezinárodní seminář o modelování a přeformulování omezení. Lisabon, 20. září 2009.
- Hybridní řešič pro vyhledávání velkých měst: Mixing Gecode a EasyLocal ++. Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier. Konference: Hybrid Metaheuristics - HM, str. 141–155, 2009. DOI: 10.1007 / 978-3-642-04918-7_11
externí odkazy
- Gecode domovské stránky
- Christian Schulte, vedoucí vývojář Gecode.
- Propagace omezení - Dizertační práce Guida Tacka vysvětlující teorii a implementaci Gecode
 | Tento vědecký software článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
 | Tento počítačová knihovna související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |