dice-partitions

View the project on GitHub

About

Welcome to the Dice Partitions project website!

A program to find all possibilities, how to roll w dices to get a total sum of s.

This is an open source project, licensed under the BSD 3-Clause “New” or “Revised” License.

Get the code

The current stable release of Dice Partitions can be downloaded from GitHub.

Documentation

The coqdoc presentation of the source files can be browsed here

Related publications, if any, are listed below.

Help and contact

• Report issues on GitHub

Authors and contributors

• Max Ole Elliger (initial)