MassimoLauria/cnftools MassimoLauria/cnftools

  • Stars
    star
    2
  • Language
    C++
  • License
    GNU General Publi...
  • Created over 11 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MassimoLauria/cnftools
github

MassimoLauria

Reviews

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

Repository Details

A set of efficient tools for CNF manipulations.

More Repositories

1

cnfgen

CNF generator in DIMACS format. It produces common families of CNFs.
Python
63
star
2

dotemacs

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

global-configuration

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

shell

Configuration files for my shell
Shell
2
star
5

xsession

Xsession and Xresources config files
Shell
2
star
6

pebble

This computes various pebbling numbers for directed acyclic graphs.
C
2
star