Результаты поиска по запросу "solver"
Решатель булевых выражений / упрощитель
Я ищу решение булевых выражений для очень большой (но не сложной) алгебры, такой как:Boolsche Ausdrücke vereinfachen (Аксиома) [http://www.elektroniker-bu.de/boolesche.htm]Я хотел бы иметь некоторый код (c ++ или java [или библиотеки]), чтобы ...
Как решить систему неравенств?
Я свел свою проблему (алгоритм разметки таблицы) к следующей проблеме: Представьте, у меня есть N переменных X1, ИКС2, ..., ИКСN, У меня также есть некоторое (неопределенное) количество неравенств, например: X1 > = 2 x2$6, ..., ИКС7$ и ...
Решатели Matlab ода: изменение состояния и заданного времени
Я решаю набор ODE (dy / dt) при t = 0, все начальные условия t = 0 y_0 = (0,0,0). Могу ли я добавить некоторое число к значениям y в разное время (например, при t = 10 к этому числу следует добавить y1; при t = 20 к этому числу следует добавить ...
SymPy: ограничить символ / переменную интервалом
Используя SymPy, возможно ли ограничить возможные значения символа / переменной определенным диапазоном? Теперь я могу установить некоторые свойства при опре...
Как только вы используете квантификаторы, все ставки отключаются, так как логика становится полуразрешимой. Z3 делает хорошую работу здесь и возвращает одно решение, а затем сдается. Я не думаю, что вы можете ожидать чего-то лучшего, если вы не используете некоторые собственные процедуры принятия решений.
у проверить формулу формы: Exists p . ForAll x != 0 . f(x, p) > 0Реализация (которая не работает) следующая: def f0(x0, x1, x, y): return x1 ** 2 * y + x0 ** 2 * x s = Solver() x0, x1 = Reals('x0 x1') p0, p1 = Reals('p0 p1') s.add(Exists([p0, ...
Использовать решатель в VBA с циклом в строках
Я пытаюсь использовать решатель, чтобы найти корень для 182 ячеек, каждая ячейка зависит только от одной другой переменной, выходная ячейка от O2 до O183, пе...
Симпи зависает при попытке решить простое алгебраическое уравнение
Недавно я переустановил свою среду Python, и код, который раньше работал очень быстро, теперь работает в лучшем случае (обычно просто зависает, занимая все больше и больше памяти). Точка, в которой висит код: solve(exp(-alpha * x**2) - 0.01, ...
Как установить glpk-solver вместе с pyomo в Winpython?
Я хочу использовать «pyomo» для учебы. Я установил Pyomo черезeasy_install инструкции по установке Coopr [https://software.sandia.gov/trac/coopr/downloader/download/file/64/CooprInstallGuide.pdf] , Pyomo нужен решатель для работы, поэтому я ...