guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#59799] [PATCH 0/2] Add scasp


From: Liliana Marie Prikler
Subject: [bug#59799] [PATCH 0/2] Add scasp
Date: Sat, 3 Dec 2022 10:23:22 +0100

Hi Guix,

this series adds scasp (the SWI Prolog implementation anyway), a
prolog-based ASP interpreter/solver.

Cheers

Liliana Marie Prikler (2):
  gnu: swi-prolog: Update to 9.1.0.
  gnu: Add scasp.

 gnu/packages/maths.scm  | 37 +++++++++++++++++++++++++++++++++++++
 gnu/packages/prolog.scm |  4 ++--
 2 files changed, 39 insertions(+), 2 deletions(-)


base-commit: 9e9204958d3e0ecfe8fd024d8f06068b84f52ba1
-- 
2.38.1






reply via email to

[Prev in Thread] Current Thread [Next in Thread]