Описание тега clp
Логическое программирование с ограничениями - это парадигма программирования, сочетающая в себе функции логического программирования и программирования с ограничениями. Как и в обычном логическом программировании, программы запрашиваются о доказуемости цели, что может содержать ограничения в дополнение к литералам.
0
ответов
Как относительно и эффективно обрабатывать ключ, словарь значений с несколькими значениями на ключ
Сейчас я пытаюсь использовать ассоциативную библиотеку в sw-prolog для создания реляционной пролог-программы. Мне нужен словарь, который может хранить несколько значений. Это можно легко сделать, используя список в качестве значения. Однако мне част…
05 дек '17 в 05:33
0
ответов
Использование CyLP неоднократно - захват памяти?
У меня есть программа, которая многократно создает экземпляры объектов CyClpSimplex (в идеале решая десятки тысяч LP), но мое ядро убивает программу после ~6000 итераций. Я думаю, что это из-за чрезмерного использования памяти (я нахожусь в док-ко…
29 авг '17 в 01:30
0
ответов
Может ли редактор DB2 CLPPLUS выполнять xquery
Я новичок в редакторе CLPPlus, и я пытаюсь простой запрос, который работает, если я выполню его из файла, подобного этому db2 -td% -svf C:\query.sql и файл query.sql содержит: SELECT tx.ID,XMLQUERY('for $e in $d/Client/Address return data($e)' passi…
27 май '15 в 17:25
2
ответа
BridJ: ошибка LoadLibrary при загрузке Clp.dll: сбой процедуры инициализации библиотеки динамических ссылок (DLL)
Я использую clp-java для линейной оптимизации, но когда я пытаюсь запустить код, я получаю следующую ошибку: Процесс продолжает работать, а следующее продолжает печататься неоднократно. BridJ: ошибка LoadLibrary при загрузке C:\Users\Abhijay\AppData…
03 дек '18 в 10:53
0
ответов
Clp находит оптимальное решение и затем становится невозможным
Я использую COIN OR Clp для решения некоторых математических моделей. В целом я очень доволен, однако некоторые проблемы неосуществимы. После двойной проверки с помощью gurobi я обнаружил, что есть оптимальное решение этих проблем, и Clp действитель…
12 окт '18 в 06:22
2
ответа
Как выполнить (пакет *.clp (JESS)) из файла команды / .bat
В основном я открыл jess.bat, а затем передал (пакетный Aclp), он работает, потому что он должен. Но как сделать файл.bat? который откроет jess.bat и затем выполнит строку: PS Я попробовал все, и я нашел другой способ, поместив файл.clp в файл jess.…
10 ноя '14 в 10:37
2
ответа
Как сделать ограничения пути, используя Prolog CLP FD?
Я пытаюсь использовать программирование ограничений через Prolog CLP FD для решения предложенной головоломки. Эта головоломка состоит из следующих простых правил: Теперь в своем коде я уже рассмотрел ограничения для сетки 2x2 И то, что один элемент …
18 дек '16 в 14:59
1
ответ
Правильный способ написания рекурсивных функций в CLP(R) с помощью Пролога
Я очень запутался в том, как CLP работает в Прологе. Мне не только трудно увидеть преимущества (я вижу это в конкретных случаях, но мне трудно их обобщать), но, что более важно, я едва ли могу придумать, как правильно написать рекурсивный предикат. …
10 янв '17 в 09:17
1
ответ
ECLiPSe clp: получение всех соседних ячеек на сетке
Поэтому моя проблема заключается в следующем: я хочу, учитывая некоторую точку с координатами X,Y в сетке, вернуть все смежные ячейки. (Примечание: в следующих примерах я использую обозначение UL = верхний левый, UM = верхний средний, UR = верхний п…
23 мар '16 в 09:28
2
ответа
Pyomo 5.1.1 Solvers
Кто-нибудь знает, могу ли я использовать решатель CLP в моей проблеме, смоделированной в PyOMO? Я нашел только информацию о старой версии pyomo, где это было невозможно. Я хотел бы знать, если все еще невозможно использовать их вместе. Заранее спаси…
28 мар '18 в 10:41
1
ответ
Подсчет решений в CSP
Я использую пролог, и у меня есть этот код: :- use_module(library(clpb)). fun(A, B, C, D, E) :- sat(A + B + C + D), sat(E), labeling([A, B, C, D, E]). Если я хочу посчитать все решения, как я могу это сделать? Я читал о sat_count(+Expr, -Count), исп…
21 ноя '16 в 14:57
1
ответ
Вызов CLP (решатель линейного программирования, написанный на C++) из C# .net в VS2013
Мне нужно вызвать CLP (решатель линейного программирования, написанный на C++) из C# .net (4.0, 4.5) в VS2013. http://www.coin-or.org/Clp/userguide/clpuserguide.html У меня есть поиск некоторых ссылок о том, как вызвать C++ lib из C#. Я нашел возмож…
20 апр '16 в 04:08
1
ответ
Как редактировать пользователей Parse.com с помощью Javascript
Все, что я хочу сделать, это установить логическое значение, которое все пользователи должны ложь, используя инструмент Javascript. Я получаю "Ошибка 206: ParseUserCannotBeAlteredWithoutSessionError", когда я пытаюсь это сделать. Пользователь, в кот…
17 ноя '15 в 18:23
1
ответ
Решите Мгновенное Безумие в PROLOG с CLP
Это игра Мне удалось создать проблему с 4 цветами и 4 кубиками, смешанными случайным образом и следуя цветовой схеме, предложенной в ссылке. Таким образом, цель состоит в том, чтобы сгенерировать возможные решения проблемы, используя clpfd, Основно…
13 дек '14 в 19:31
1
ответ
Логическая головоломка "3 в ряд": оптимизация ограничений последовательности в списках / массивах
В следующей головоломке мы пытаемся заполнить сетку синими и белыми квадратами так, чтобы: 3-в-ряд (или столбец) одного цвета не допускается. Каждая строка и столбец имеют одинаковое количество синих и белых квадратов. Если мы теперь представим белы…
24 мар '16 в 14:16
2
ответа
CLP: ограничения на структурированные переменные?
Давайте предположим следующий гипотетический сценарий... сетка с 5x5 и скажем, 3 цифры. Мы хотим определить ограничение на позиции. В CLP мы обычно определяем ограничения целыми числами, так что это один из способов сделать это: ... Fig1X #\= 2, Fig…
22 фев '18 в 21:20
1
ответ
Как указать имя файла в режиме интерактивного ввода DB2 CLP?
Я хочу выполнить скрипт script.sql внутри интерактивного ввода DB2 (DB2 =>) Я могу только инициировать DB2, используя krun -- db2 И по какой-то причине krun -- db2 -vf script.sql не похоже на работу. У меня работает только интерактивный режим. Помог…
30 ноя '12 в 10:51
1
ответ
Ошибка запуска исполняемого файла из подпроцесса Python
Я пытаюсь запустить исполняемый файл (решатель линейного программирования CLP.exe) из Python 3.5. Import subprocess exeFile = " C:\\MyPath\\CLP.exe" arg1 = "C:\\Temp\\LpModel.mps" arg2 = "-max" arg3 = " -dualSimplex" arg4 = " -printi all" arg5 = "-s…
13 авг '16 в 01:24
1
ответ
Ошибка получения решения переменная для правильной оптимизации в Pyomo
У меня есть простая многопериодная задача оптимизации, над которой я работаю с использованием pyomo. Цель модели - определить, какие часы должна быть включена или выключена электростанцией на основе Spark Spread (Цена на электроэнергию - Цена на газ…
12 ноя '18 в 18:21
1
ответ
Представление логических дизъюнкций в правилах обработки ограничений
Я пишу решатель ограничений в Прологе, который реализует простую логическую формулу: "(alive(A) and animal(A)) iff (awake(A) or asleep(A))", Я нашел один способ реализовать его в правилах обработки ограничений, но он гораздо более многословен, чем и…
08 май '17 в 00:04