search

sat-group / open-wbo

Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
Other
73 stars 13 forks source link

C++ api availability #12

Open henriksjostrom opened 5 years ago

henriksjostrom commented 5 years ago

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

conp-solutions commented 5 years ago

Whats the license you want that to have? I have one locally, which i never published so far. And, what would the interface you need be?Bet,Norbert

henriksjostrom commented 5 years ago

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

conp-solutions commented 5 years ago

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.