Abstract:
We show that smodels, a solver originally designed to solve search problems encoded as logic programs can be used as a pseudo-boolean solver (we call it PB-smodels). We compare the performance of PB-smodels with pseudo-boolean solvers MiniSat+ and Pueblo on two benchmarks. We show that in many cases PB-smodels performs better than or is comparable to other solvers.