btor2tools 1.0.0-pre-2.fb69ee3

Parser for BTOR2 format

This package provides a parser for the BTOR2 format used by Boolector.

Outputs: out
Website: https://boolector.github.io
Licenses: LGPL 3+
Package source: gnu/packages/maths.scm
Builds: See build status
Issues: See known issues

Installation

Install btor2tools 1.0.0-pre-2.fb69ee3 as follows:

guix install btor2tools@1.0.0-pre-2.fb69ee3

Or install the latest version:

guix install btor2tools

You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.