On Wed, Jul 10, 2024 at 3:54 PM Ole Schuerks <ole0811sch@xxxxxxxxx> wrote: > > 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. > > Signed-off-by: Patrick Franz <deltaone@xxxxxxxxxx> > Signed-off-by: Ibrahim Fayaz <phayax@xxxxxxxxx> > Signed-off-by: Thorsten Berger <thorsten.berger@xxxxxx> > Signed-off-by: Ole Schuerks <ole0811sch@xxxxxxxxx> > --- > scripts/kconfig/picosat.c | 3000 +++++++++++++++++++++++++++++++++++++ > 1 file changed, 3000 insertions(+) > create mode 100644 scripts/kconfig/picosat.c I usually tend to avoid adding huge files like this. Is this for avoiding any portability issues across distributions? Debian: https://packages.debian.org/search?keywords=picosat Fedora: https://packages.fedoraproject.org/pkgs/picosat/picosat/ -- Best Regards Masahiro Yamada
