Open arminbiere opened 9 months ago
Also should move to pipe/fork/exec/waitpid instead of calling popen for writing compressed proofs as in CaDiCaL: https://github.com/arminbiere/cadical/releases/tag/rel-1.7.3
pipe/fork/exec/waitpid
popen
Also should move to
pipe/fork/exec/waitpidinstead of callingpopenfor writing compressed proofs as in CaDiCaL: https://github.com/arminbiere/cadical/releases/tag/rel-1.7.3