Re: [RFC v3 02/12] Add picosat.c (1/3)

Luis Chamberlain
2021-10-22T16:58:56Z

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....