| Copyright | (c) Masahiro Sakai 2013 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
ToySolver.Converter.PB2WBO
Description
References:
- Improving Unsatisfiability-based Algorithms for Boolean Optimization http://sat.inesc-id.pt/~ruben/talks/sat10-talk.pdf
Documentation
convert :: Formula -> SoftFormula Source