Gregor Behnke comments

Repositories
Issues
Comments

Results 2 comments of


                                            Gregor Behnke

Set exit status based on success/failure?

Thanks for starting the work! As for the SAT solver, basically whenever the call returns anything other than 10 or 20, this is an error (except if we set terminations,...

not able to make it in windows

I assume that you encountered this error message while building under windows? Without any further explanation of what you did and what happend (i.e. all output not just this one...