GNU bug report logs - #57181
[PATCH] gnu: maths: Add newer SAT solvers cryptominisat5 and kissat

Previous Next

Full log

Message #43 received at 57181 <at> debbugs.gnu.org (full text, mbox):

From: Maximilian Heisinger <mail <at> maxheisinger.at>
To: Liliana Marie Prikler <liliana.prikler <at> gmail.com>,
 "57181 <at> debbugs.gnu.org" <57181 <at> debbugs.gnu.org>
Subject: Re: [PATCH v2 4/4] gnu: Add cryptominisat.
Date: Sun, 27 Nov 2022 18:48:37 +0100 (CET)

[Message part 1 (text/plain, inline)]

> Liliana Marie Prikler <liliana.prikler <at> gmail.com> hat am 26.11.2022 14:15 CET geschrieben:
>
> Aaaand it's pushed.

Thank you so much! Sorry for not working on the patch in the meantime, I started doing this while at a conference and was completely wrapped up in other issues and some deadlines after coming back...

This is a beautiful patch series and I am looking forward to being able to coming up with such constructs myself. Integrating libraries like this is really interesting and opens up quite a few possibilities for research, especially with preserving old releases and making them comparable.

Thanks again, and I'm looking forward to future submissions! They will be bottom-up next time :)

Best regards,
Max

[signature.asc (application/pgp-signature, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.