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