bug#50933: closed ([PATCH 0/3] Add clingo)

[GNU bug Tracking System]

Your message dated Sun, 24 Oct 2021 20:44:37 +0200
with message-id <dda3420340529e274561fb59a63f386e1df2db37.camel@gmail.com>
and subject line Re: [PATCH 0/3] Add clingo
has caused the debbugs.gnu.org bug report #50933,
regarding [PATCH 0/3] Add clingo
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
50933: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=50933
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/3] Add clingo
>
>
>
>
> Date: 
>
> Fri, 1 Oct 2021 11:51:22 +0200
>
>
>
>
> This patch adds a package for clingo ad its dependencies.  I haven't
> tested clingo itself (I did test clasp however) and the test suite has
> two failing assertion in the solver category, but as far as I can see
> it ought to work mostly.
>
> Regards,
> Liliana
>
> Liliana Marie Prikler (3):
>   gnu: Add libpotassco.
>   gnu: Add clasp.
>   gnu: Add clingo.
>
>  gnu/packages/maths.scm | 157 +++++++++++++++++++++++++++++++++++++++++
>  1 file changed, 157 insertions(+)
>
> -- 
> 2.33.0
>
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [PATCH 0/3] Add clingo
>
>
>
>
> Date: 
>
> Sun, 24 Oct 2021 20:44:37 +0200
>
>
>
>
> User-agent: 
>
> Evolution 3.34.2 
>
>
>
>
> Am Freitag, den 01.10.2021, 11:51 +0200 schrieb Liliana Marie Prikler:
> > This patch adds a package for clingo ad its dependencies.  I haven't
> > tested clingo itself (I did test clasp however) and the test suite
> > has two failing assertion in the solver category, but as far as I can
> > see it ought to work mostly.
> After finally getting around to test that clingo indeed can solve crime
> [1], I've decided to push this patch set.
>
> Regards,
> Liliana
>
> [1] https://potassco.org/doc/start/
>
>
>
>
> --- End Message ---