MassimoLauria/global-configuration

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Python
Created over 14 years ago
Updated 3 months ago

MassimoLauria/global-configuration

MassimoLauria

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

All my public config files in a single repository, with reference to specific modules.

cnfgen

CNF generator in DIMACS format. It produces common families of CNFs.

dotemacs

It is my Emacs configuration, which does not start with a .emacs file anymore... hail to init.el!

shell

Configuration files for my shell

xsession

Xsession and Xresources config files

cnftools

A set of efficient tools for CNF manipulations.

pebble

This computes various pebbling numbers for directed acyclic graphs.