| Copyright | (c) Masahiro Sakai 2018 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
ToySolver.FileFormat
Contents
Description
Documentation
module ToySolver.FileFormat.Base
Orphan instances
| FileFormat Formula Source # | |
| FileFormat SoftFormula Source # | |
Methods parse :: ByteString -> Either String SoftFormula Source # render :: SoftFormula -> Builder Source # | |