gnu: Add z3.
authorTheodoros Foradis <theodoros.for@openmailbox.org>
Tue, 25 Jul 2017 16:11:12 +0000 (19:11 +0300)
committerLudovic Courtès <ludo@gnu.org>
Sat, 29 Jul 2017 21:03:47 +0000 (23:03 +0200)
commit313844d9dc098b44cd27dcfa1a26de306c9a8fe2
tree0c747eaebd49d40882e3c076171cc2433f957497
parenta4078acf4ab7d694e86ffcaef2073d71e58508f1
gnu: Add z3.

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

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu/packages/maths.scm