framework-internalsdevelopment
optimize
Solve constrained optimization problems using Z3. Supports minimization and maximization of objective functions over integer, real, and bitvector domains.
maintainer
Z3Prover
Обновлено 11.03.2026
Звёзды
12133
Форки
1635
quick start
Installation and usage
Solve constrained optimization problems using Z3. Supports minimization and maximization of objective functions over integer, real, and bitvector domains.
Установка
$ install --globalskills.sh
Использование
После установки вы можете использовать этот skill, выполнив следующую команду в терминале:
skills use optimize