- Hlavní stránka
- Robert Kern
- Vývojářské nástroje
- Uživatelský software rozhraní
casuarius je Cython wrapper pro přilbový inkrementální omezení solver.Zdrojový řešitel kód je odvozen od 0,6 uvolnění. To byl změněn Svilen Dobrev odstranit úniky paměti. Jeho práce lze nalézt samostatně napil vázání:& Nbsp; http:...