lonsing/depqbf issues and pull requests

#20 - fix warnings with wrong formats in fprintf

Pull Request - State: open - Opened by fsasm over 1 year ago

#19 - Inconsistent behaviour of `--qdo` on input with no clauses

Issue - State: open - Opened by AbdallahS about 3 years ago - 1 comment

#18 - symbol(s) not found for architecture arm64

Issue - State: open - Opened by Alexanderia-Mike over 3 years ago - 2 comments

#17 - invalid trace on small example

Issue - State: open - Opened by jashug almost 5 years ago - 1 comment

#16 - Understanding basic examples.

Issue - State: open - Opened by arey0pushpa over 6 years ago - 3 comments

#15 - Get model of a SAT instance

Issue - State: closed - Opened by arey0pushpa over 6 years ago - 2 comments

#14 - How to add additional variables to the solver

Issue - State: closed - Opened by arey0pushpa over 7 years ago - 1 comment

#13 - Basic example

Issue - State: closed - Opened by arey0pushpa over 7 years ago

#12 - Question about all the possible outputs.

Issue - State: open - Opened by virtualliu over 7 years ago - 2 comments

#11 - macOS build failure "ld: library not found for -lcrt0.o"

Issue - State: closed - Opened by ilovezfs over 7 years ago - 2 comments

#10 - Memory corruption with v6.0

Issue - State: closed - Opened by lummax over 7 years ago - 1 comment

#9 - macOS library install_name doesn't match file name

Issue - State: closed - Opened by ilovezfs almost 8 years ago - 2 comments

#8 - macOS build failure: ld: unknown option: -soname

Issue - State: closed - Opened by ilovezfs about 8 years ago - 3 comments

#7 - doc request: difference between --qbce-preprocessing and bloqqer

Issue - State: closed - Opened by jwaldmann almost 9 years ago - 2 comments

#6 - DepQBF4Py

Pull Request - State: open - Opened by daajoe about 9 years ago

#5 - using -install_name instead of -soname on OS X

Pull Request - State: closed - Opened by bfontaine over 9 years ago - 2 comments

#4 - segfault when using push/pop

Issue - State: closed - Opened by c-cube over 9 years ago - 2 comments

#3 - Make constants final in DepQBF4J

Pull Request - State: closed - Opened by sadger almost 10 years ago - 1 comment

#2 - Add support for shared library libqdpll.

Pull Request - State: closed - Opened by tkren over 10 years ago

#1 - OS X makefile tweaks, QDIMACS output documentation

Pull Request - State: open - Opened by acfoltzer over 11 years ago - 1 comment

Ecosyste.ms: Issues

GitHub / lonsing/depqbf issues and pull requests