cadiback 0.2.1-1.789329d

Backbone extractor for cadical

This package provides a tool to determine the backbone of a satisfiable formula. The backbone is the set of literals that are set to true in all models.

Outputs: out
Website: https://github.com/arminbiere/cadiback
Licenses: Expat
Package source: gnu/packages/maths.scm
Builds: See build status
Issues: See known issues

Installation

Install cadiback 0.2.1-1.789329d as follows:

guix install cadiback@0.2.1-1.789329d

Or install the latest version:

guix install cadiback

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.