About 
Eliminace košíku

Vítejte v aplikaci pro metodu "Eliminace košíku". Vyberte z menu požadovanou metodu.

Tato aplikace slouží pro výuku předmětu ARUO - Automatizované řešení úloh s omezeními. Aplikace je určena studentům, kteří chtěji lépe pochopit funkčnost Constaint processingu konkrétně metody Eliminace košíku. Lze si spustit jak zadané příklady, kde se může student podívat na postupné výpočty, nebo si student může vložit vlastní příklad, který se vyřeší zvolenou metodou (také budou zobrazeny postupné výpočty).