PicoSAT is a SAT solver with an extensive API.
PicoSAT is a SAT solver with an extensive API. It can generate proofs and cores in memory.
Questions tagged [picosat]
2 questions
5
votes
2 answers
Haskell: binding to fast and simple SAT solver
Today I wanted too look into options on SAT solving in haskell. First I tought about writing my own interface to the picosat solver.
Then I found out there is the SBV library.
It's interfaces to Z3, Yices, CVC4 and Boolector.
Also, I did a google…
mrsteve
- 4,082
- 1
- 26
- 63
0
votes
1 answer
Picosat SAT solver: set the propagation limit -- but what value?
From the API:
/* As alternative to a decision limit you can use the number of propagations
* as limit. This is more linearly related to execution time. This has to
* be called after 'picosat_init' and before 'picosat_sat'.
*/
void…
mrsteve
- 4,082
- 1
- 26
- 63