Comments (9)
I am not sure what you are after. A simple shell script could do that.
from kissat.
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'.
- 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
.
- 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
from kissat.
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.
from kissat.
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.
from kissat.
I wanna run multiple files cnf at once time, then I can export the result to a file.
from kissat.
Thanks a ton, @arminbiere . It's exactly what I want. Do you plan to implement Kissat on Windows?
from kissat.
Hope to see your addition soon. Have a nice weekend, @arminbiere
from kissat.
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.
from kissat.
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
from kissat.
Related Issues (20)
- What options might influence kissat's behaviour the most? HOT 3
- C++ interface HOT 1
- How do I make kissat use more CPU resources/time? HOT 3
- TISSAT is reporting an error HOT 2
- Is it possible to get the learned clauses after solving? HOT 5
- Is it possible to dump the pre-processed cnf? HOT 2
- When both shared and static lib is requested each module should be built twice - with and without -fpic HOT 1
- Make binaries available for common platforms HOT 11
- documentation HOT 1
- Remove redundant variables HOT 6
- output simplified formula
- exactly one clauses HOT 8
- Remove build.h include HOT 2
- internal time limit feature
- beginner's questions HOT 1
- Pipe/Fork/Exec/Waitpid instead of Popen
- treewidth
- is kissat non-deterministic? HOT 6
- Add '--thanks=<string-hashed-to-seed>' option
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from kissat.