jbransen minisat-bundle issues - Githubissues

jbransen / minisat-bundle

Minisat Haskell bundle

Other

1 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Update minisat.cabal: Lower bound on async

#6 andreasabel closed 8 months ago
2
Build failure with GHC 9.2.1 and cabal 3.6

#5 sjakobi closed 2 years ago
2
Update minisat.

#4 falsifian closed 3 years ago
2
minisat_setDecisionVar and minisat_setPolarity shoud accept Bool instead Int

#3 jachymb closed 6 years ago
2
zlib dependency is redundant

#2 danr closed 9 years ago
1
Fails to install with weird error

#1 nick8325 closed 9 years ago
2