depqbf issues

fix warnings with wrong formats in fprintf

On my system (Ubuntu 22.04, gcc 11.3.0, amd64) it generates the warnings below when compiling. This commit fixes the warnings by applying the changes suggested by the compiler. ``` cc...

fsasm

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

1

Consider the following input: a formula with 4 variables and no clauses. p cnf 4 0 e 1 2 3 4 0 Running `depqbf` on it returns `SAT` as expected....

AbdallahS

symbol(s) not found for architecture arm64

2

I'm using MacBook M1 with arm64 architecture. I'm trying to compile the package into a static library, and I type `./compile.sh` in the terminal, but the process seems unsuccessful. There...

Alexanderia-Mike

invalid trace on small example

1

Running `depqbf --dep-man=simple --trace=qrp --traditional-qcdcl test.qdimacs`, with `test.qdimacs` containing: ``` p cnf 3 2 e 1 0 a 2 0 e 3 0 1 2 3 0 -1 -3 0...

jashug

Understanding basic examples.

3

Hi, I'm trying to create basic one level quantifier alternation and test all 4 possible cases. I have picked your first example as a basis. #include #include #include #include #include...

arey0pushpa

Question about all the possible outputs.

2

Hi. I am new to the satisfiability problem. I found DepQBF is a great thing to help me, but I noticed that option "--qdo" will show only one output of...

virtualliu