guix-patches
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#27874] add cubicle

From: Julien Lepiller
Subject: [bug#27874] add cubicle
Date: Sun, 30 Jul 2017 10:43:12 +0200 
Hi, here is a patch to add cubicle, a model checker.

Attachment: 0001-gnu-Add-cubicle.patch
Description: Text Data

reply via email to
[Prev in Thread] Current Thread [Next in Thread]