amaharaneko/guix-mirrors
1
1
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2025-10-02 02:15:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge branch 'master' into core-updates

Browse source
This commit is contained in:
Marius Bakke 2017-11-19 15:01:00 +01:00
commit 2dd12924cf
No known key found for this signature in database
GPG key ID: A2A06DF2A33A54FA
202 changed files with 24545 additions and 10664 deletions
Download patch file Download diff file Expand all files Collapse all files

11
gnu/packages/maths.scm
View file

@ -90,6 +90,7 @@
#:use-module (gnu packages perl)
#:use-module (gnu packages pkg-config)
#:use-module (gnu packages python)
#:use-module (gnu packages python-web)
#:use-module (gnu packages readline)
#:use-module (gnu packages tbb)
#:use-module (gnu packages scheme)
@ -3633,9 +3634,9 @@ theories} (SMT) solver. It provides a C/C++ API, as well as Python bindings.")
(("\\\\n") "")))))))
(home-page "http://cubicle.lri.fr/")
(synopsis "Model checker for array-based systems")
(description "Cubicle is an open source model checker for verifying safety
properties of array-based systems. This is a syntactically restricted class of
parametrized transition systems with states represented as arrays indexed by an
arbitrary number of processes. Cache coherence protocols and mutual exclusion
algorithms are typical examples of such systems.")
(description "Cubicle is a model checker for verifying safety properties
of array-based systems. This is a syntactically restricted class of
parametrized transition systems with states represented as arrays indexed by
an arbitrary number of processes. Cache coherence protocols and mutual
exclusion algorithms are typical examples of such systems.")
(license license:asl2.0)))