chisui/haskell-ipasir chisui/haskell-ipasir

  • Stars
    star
    1
  • Language
    C++
  • Created over 7 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chisui/haskell-ipasir
github

chisui

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

haskell bindings for IPASIR incremental SAT solving interface

More Repositories

1

zsh-nix-shell

zsh plugin that lets you use zsh in nix-shell shells.
Shell
282
star
2

elderscrolls-rust

Bethesda Softworks Archive tool (WIP)
Rust
3
star
3

nix-mkPandoc

call pandoc from Nix
Nix
3
star
4

java-parsec

parser combinator library inspired by Haskells parsec
Java
1
star