arminbiere/cadical

ccadical_set_option does not return value

Opened this issue · 2 comments

sirandreww commented

The C API for CaDiCal does not return a value (while the function it calls "Solver::set" returns bool).

sirandreww commented

I actually already wrote a solution in:
https://github.com/sirandreww/cadical.git

arminbiere commented

I would wait until we have finalized that functionality in IPASIR 2.0. There is also a proposal for setting options.