It is very fast, as package solving complexity is very low compared to other areas where SAT solvers are used.
Jsou relativně rychlé, neboť komplexnost balíčků je velmi nízká v porovnání s ostatními oblastmi využívajícími SAT solvery.