Re: [PATCH v4 02/12] kconfig: Add picosat.c (1/3)

[Masahiro Yamada]

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