Popular repositories Loading

1. cnfgen cnfgen Public

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

   Python 69 15

2. cnftools cnftools Public

   A set of efficient tools for CNF manipulations.

   C++ 3

3. pebble pebble Public

   This computes various pebbling numbers for directed acyclic graphs.

   C 3 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. LezionePE LezionePE Public

   Jupyter notebooks per la lezione P.E. su numpy e matplotlib

   Jupyter Notebook