Использование SAT Solver из класса Scala

Question

Использование SAT Solver из класса Scala

Мне нужно вызвать универсальный решатель SAT из приложения, написанного на Scala. Я искал SAT4J, так как он может быть легко импортирован в виде файла JAR, но на самом деле трудно использовать его. Есть ли способ, которым я могу запустить JAR-файл SAT4j для вычисления моей проблемы SAT из моего кода Scala?

Если SAT4J - неправильный подход, существуют ли какие-либо библиотеки SAT, которые я могу использовать напрямую вместо запуска внешнего решателя SAT?

0

scala sat sat4j

Источник

user3584400 01 апр '17 в 22:38

1 ответ

Решение

Другие вопросы по тегам scala sat sat4j

user3867609 02 апр '17 в 21:37 2017-04-02 21:37 · Accepted Answer · 2017-04-02 21:37

Sat4j - это чистая Java, поэтому вы можете напрямую использовать ее в Scala, если jar доступен в classpath Scala.

Sat4j имеет привязку scala: https://gitlab.ow2.org/sat4j/sat4j/tree/master/org.sat4j.scala

Вы можете создать его из исходного кода или получить из непрерывной интеграции: https://gitlab.ow2.org/sat4j/sat4j/pipelines/95/builds