sat-group / open-wbo

Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

C++ api availability

henriksjostrom opened this issue · comments

commented

Is there a C++ api available for open-wbo anywhere for easy integration with other C++ projects?

commented

I'd love for it to be MIT or other commercially usable license.

I need something that I can use for pwms (single threaded) and as long as that is possible and the interface is sane I'm a happy camper.

Thanks for the quick response

I uploaded the library I have as LGPL for now:
https://github.com/conp-solutions/smax

The given library basically uses open-wbo, as the MaxSAT backend.