Haskell API for Kissat SAT Solver

Kissat http://fmv.jku.at/kissat/ is an award-winning SAT solver by Armin Biere. It already provides an IPASIR interface to C programs.

This package here adds a Haskell interface (modelled after https://github.com/niklasso/minisat-haskell-bindings by Niklas Sorenson), and a connector for the Ersatz https://hackage.haskell.org/package/ersatz library for SAT encoding (connector modelled after https://github.com/jwaldmann/ersatz-minisatapi).

Related Projects

ecdsa-haskell

ECDSA stuff in Haskell

22 Feb 2014 3

haskell-project-ideas

Free ideas, worth every penny

27 Apr 2019 31

irt

A Haskell library similar in functionality to the CAT portions of the `catIrt` R library

08 Sep 2014 3

haskell-lsp-client

Client library for haskell-lsp

02 Aug 2017 11

codex

UI experiments for coda

17 May 2019 65

crypto-pubkey-openssh

OpenSSH keys decoder/encoder

19 Jan 2013 7

awesome-haskell

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome pr...

13 Jul 2014 3,021

matchbox

the Matchbox termination prover

04 Feb 2013 1

haskell-ecosystem

09 Mar 2017 8

sarif

Haskell library for reading and writing SARIF files

21 Dec 2022 1

minisat-haskell-bindings

Haskell-Bindings to MiniSat

28 Apr 2011 12

haskell-irc

IRC client in Haskell and CoffeeScript

07 Dec 2011 7

hart

Haskell prettifier

09 Jun 2018 5

haskeline

A Haskell library for line input in command-line programs.

31 Oct 2013 222

ersatz

A monad for interfacing with external SAT solvers

14 Jun 2010 63

ersatz-kissatapi