[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
- [bug#59799] [PATCH 0/2] Add scasp,
Liliana Marie Prikler <=