toysolver-0.8.1: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
Source
Contents
Index
Copyright
(c) Masahiro Sakai 20132016
License
BSD-style
Maintainer
masahiro.sakai@gmail.com
Stability
experimental
Portability
non-portable
Safe Haskell
Safe-Inferred
Language
Haskell2010
Extensions
OverloadedStrings
ToySolver.Converter.PB2SMP
Description
Documentation
pb2smp
::
Bool
->
Formula
->
Builder
Source
#