Software

Paganini

💾

Paganini

A lightweight python library for tuning multiparametric combinatorial specifications.

I developed and implemented the core algorithm of paganini.

https://github.com/maciej-bendkowski/paganini

Paganini's documentation - Paganini 1.1.1 documentation

Given a combinatorial specification, expressed using a domain-specific language closely resembling Flajolet and Sedgewick's symbolic method, Paganini gives its users some additional control over the distribution of structures constructed using the designed samplers.

https://paganini.readthedocs.io/en/latest/

Boltzmann Brain

💾

Boltzmann Brain

A Haskell package that compiles generators for combinatorial systems. This package is written by Maciej Bendkowski. Since it now incorporates Paganini, I also became a contributor.

https://github.com/maciej-bendkowski/boltzmann-brain

boltzmann-brain

Boltzmann Brain is a combinatorial system sampler compiler. Using an easy and intuitive specification input representing a combinatorial system, Boltzmann Brain constructs a working, self-contained module implementing a dedicated singular, rejection-based Boltzmann sampler with some additional control over the constructor frequencies in the generated structures.

https://hackage.haskell.org/package/boltzmann-brain

Another repository contains several examples accompanying our paper

https://github.com/maciej-bendkowski/multiparametric-combinatorial-samplers

Other repositories

💾

Strong component notebooks

IPython notebooks for symbolic computations, numerical simulations, numerical values of the integrals of the Airy functions, accompanying a recent paper The birth of the strong components with Élie de Panafieu, Dimbinaina Ralaivaosaona, Vonjy Rasendrahasina, and Stephan Wagner.

Sergey Dovgal / Strong Components Aux · GitLab

Before July 1, 2022, all free tier public open source projects must enroll in the GitLab for Open Source Program to continue to receive GitLab Ultimate benefits. For more information, see the FAQ.

https://gitlab.com/sergey-dovgal/strong-components-aux

Sergey Dovgal / Strong Components Aux · GitLab

💾

2-SAT enumeration notebooks

IPython notebooks accompanying a recent paper Exact enumeration of satisfiable 2-SAT formulae with Élie de Panafieu and Vlady Ravelomanana

Sergey Dovgal / Enumeration-2sat-aux · GitLab

Before July 1, 2022, all free tier public open source projects must enroll in the GitLab for Open Source Program to continue to receive GitLab Ultimate benefits. For more information, see the FAQ.

https://gitlab.com/sergey-dovgal/enumeration-2sat-aux

Sergey Dovgal / Enumeration-2sat-aux · GitLab