Run multiple file .cnf.txt then export to a file?

[anhpham197]

Is there any way to run multiple files .cnf.txt (in build folder) and export the result to a file instead of running each file in turn and then reading the results in the console?
Thanks!

[arminbiere]

I am not sure what you are after. A simple shell script could do that.

[anhpham197]

I wanna run multiple files cnf at once time, then I can export the result to a file.

[arminbiere]

Yes, this is exactly what simple shell scripting would be able to do.
I give two options for solving the 'sqrt...' CNFs in 'test/cnf'.

1. If you want to run kissat on all the CNFs separately but concat the output:

$ ls test/cnf/sqrt*.cnf|xargs -n 1 kissat

You can do this even say for 8 cores in parallel by adding -P 8 after -n 1.

2. If on the other hand you want concatenate the CNFs, just filter out the clauses,
   add a dummy header before and tell Kissat to use relaxed parsing:

$ (echo 'p cnf 0 0'; sed -e '/^[chp]/d' test/cnf/sqrt*.cnf)|kissat --relaxed

[anhpham197]

Thanks a ton, @arminbiere . It's exactly what I want. Do you plan to implement Kissat on Windows?

[arminbiere]

There are ports by others (see also issue #33) and yes I also plan to have ports at one point in the main repro but probably not provide binaries.

[anhpham197]

Hope to see your addition soon. Have a nice weekend, @arminbiere

[DvonHolten]

well, the reasons against windows exe-files can be understood.
OTOH, it can be a PITA to setup a c compiler chain just to get some executable. Some people are just interested in running the SAT-solver as a black box. Some projects use makefile, others use cmake.

[anhpham197]

Cuz I'm using Sat4j library supporting Windows, then I've tested some problems by Kissat and found that Kissat is extremely good in terms of both solving time and the number of problems solved. Hence, I wanna find another version of Kissat on Windows to test.

[gsgs2]

I agree that this would be useful. I.e. for benchmark-sets.

I'm copying all the files into one file,
I wrote a program to read that big file
and extract one instance after the other,
to file kk
then call
system(" ./kissat -q kk >> ll");
and postprocess ll