Omnisolver: An extensible interface to Ising spin-glass and QUBO solvers.

Konrad Jalowiecki Lukasz Pawela

Published in: SoftwareX (2023)

Keyphrases

markov random field
data model
friendly interface
sat solvers
user interface
user friendly
direct manipulation
data structure
markup language
graphical interface
expert systems
probabilistic model
general purpose
search algorithm
logic programs
novice users
database systems