On Fri, Oct 22, 2021 at 03:36:37PM +0200, Thorsten Berger wrote: > Subject: [RFC v3 02/12] Add picosat.c (1/3) > > PicoSAT is the SAT solver used in this project. picosat.c is the actual > SAT solver. Since the file is too big for a single patch, it needs to be > split up. This patch contains the first part of the file. No SOB here....
