Maximilian Heisinger 9ddd37d6ab gnu: Add kissat. ...

* gnu/packages/maths.scm (kissat): New variable.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>

2022-08-15 15:15:11 +02:00

324 KiB

Raw Blame History

View Raw