Popular repositories Loading

1. cnfgen cnfgen Public

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

   Python 63 15

2. dotemacs dotemacs Public

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

   Emacs Lisp 15 3

3. global-configuration global-configuration Public

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

   Python 5 1

4. shell shell Public

   Configuration files for my shell

   Shell 2 1

5. xsession xsession Public

   Xsession and Xresources config files

   Shell 2

6. cnftools cnftools Public

   A set of efficient tools for CNF manipulations.

   C++ 2