On Fri, Oct 22, 2021 at 03:35:45PM +0200, Thorsten Berger wrote: > PicoSAT is the SAT solver used in this project. This commit contains the > header file for PicoSAT. No Signed-off-by tag here. It would be good to specify then also what version was taken in the commit log, and where the upstream project lies. Luis
