chuffed 0.13.2

Lazy clause generation solver

Chuffed is a state of the art lazy clause solver designed from the ground up with lazy clause generation in mind. Lazy clause generation is a hybrid approach to constraint solving that combines features of finite domain propagation and Boolean satisfiability.

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

Installation

Install chuffed 0.13.2 as follows:

guix install chuffed@0.13.2

Or install the latest version:

guix install chuffed

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.