cabal-version: 2.4 name: sat-simple version: 0.1.0.0 synopsis: A high-level wrapper over minisat description: A high-level wrapper over minisat. . This package differs from [@ersatz@](https://hackage.haskell.org/package/ersatz) in few ways: . * The interface resembles 'ST' monad, with 'SAT' monad and literals 'Lit' are indexed by a scope @s@ type argument. . * @sat-simple@ uses @minisat@'s library in incremental way, instead of encoding to DIMACS format and spawning processes. (@ersatz@ can be made to use @minisat@ library as well, but it cannot use incrementality AFAICT). . * @sat-simple@ has less encodings built-in . * @sat-simple@ is hopefully is indeed simpler to use. license: BSD-3-Clause license-file: LICENSE author: Oleg Grenrus maintainer: Oleg Grenrus copyright: 2023 Oleg Grenrus category: Data build-type: Simple extra-doc-files: CHANGELOG.md tested-with: GHC ==8.6.5 || ==8.8.5 || ==8.10.7 || ==9.0.2 || ==9.2.8 || ==9.4.7 || ==9.6.3 || ==9.8.1 common language default-language: Haskell2010 default-extensions: DeriveTraversable GADTs PatternSynonyms PatternSynonyms RankNTypes RoleAnnotations ScopedTypeVariables library import: language hs-source-dirs: src exposed-modules: Control.Monad.SAT build-depends: , base >=4.12 && <4.20 , containers ^>=0.6.0.1 , minisat ^>=0.1.3 , unliftio-core ^>=0.2.1.0 test-suite sat-simple-sudoku import: language type: exitcode-stdio-1.0 hs-source-dirs: examples main-is: sat-simple-sudoku.hs build-depends: , base , sat-simple test-suite sat-simple-nonogram import: language type: exitcode-stdio-1.0 hs-source-dirs: examples main-is: sat-simple-nonogram.hs build-depends: , base , containers , sat-simple test-suite sat-simple-tseitin import: language type: exitcode-stdio-1.0 hs-source-dirs: examples main-is: sat-simple-tseitin.hs build-depends: , base , sat-simple