Paganini

<aside> 💾 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

</aside>

Boltzmann Brain

<aside> 💾 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

Another repository contains several examples accompanying our paper

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

</aside>

Other repositories

<aside> 💾 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

</aside>

<aside> 💾 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

</aside>