Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/msakai/haskell-minisat

Low-level Haskell binding of Minisat
https://github.com/msakai/haskell-minisat

Last synced: about 1 month ago
JSON representation

Low-level Haskell binding of Minisat

Host: GitHub
URL: https://github.com/msakai/haskell-minisat
Owner: msakai
License: other
Created: 2011-06-29T23:36:50.000Z (over 13 years ago)
Default Branch: master
Last Pushed: 2015-05-28T13:01:27.000Z (over 9 years ago)
Last Synced: 2024-10-13T23:49:12.031Z (3 months ago)
Language: C++
Homepage:
Size: 180 KB
Stars: 5
Watchers: 2
Forks: 2
Open Issues: 0
Metadata Files:
- Readme: README.md
- License: COPYING

Awesome Lists containing this project

README

        MiniSat2

========

[![Build Status](https://secure.travis-ci.org/msakai/haskell-minisat.png?branch=master)](http://travis-ci.org/msakai/haskell-minisat)

Low-level MiniSat2 wrapper.