| Portability | portable |
|---|---|
| Stability | experimental |
| Maintainer | masahiro.sakai@gmail.com |
| Safe Haskell | Safe-Inferred |
Converter.PB2WBO
Description
References:
- Improving Unsatisfiability-based Algorithms for Boolean Optimization http://sat.inesc-id.pt/~ruben/talks/sat10-talk.pdf
Documentation
convert :: Formula -> SoftFormulaSource