name:                picosat
version:             0.1.0.0
synopsis:            Bindings to the PicoSAT solver
homepage:            http://www.stephendiehl.com
license:             MIT
license-file:        LICENSE
author:              Stephen Diehl
maintainer:          stephen.m.diehl@gmail.com
copyright:           2012 Stephen Diehl
category:            Math
build-type:          Simple
cabal-version:       >=1.10
extra-source-files:  
  cbits/picosat.h
Bug-Reports:         https://github.com/sdiehl/haskell-picosat/issues

Category: Logic
Description:
  `picosat` provides bindings for the fast PicoSAT solver library.
Source-Repository head
    Type: git
    Location: https://github.com/sdiehl/haskell-picosat

library
  exposed-modules:     Picosat

  Cc-options:          
  Ghc-options:        -Wall
  build-depends:       base >=4.6 && <4.7
  default-language:    Haskell2010
  Hs-source-dirs:      src
  Include-dirs:        cbits

  C-sources:
    cbits/picosat.c