| Copyright | (c) Masahiro Sakai 2013-20142016 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
| Extensions | OverloadedStrings |
ToySolver.Converter.PB2LSP
Description