MassimoLauria/cnfgen MassimoLauria/cnfgen

  • Stars
    star
    63
  • Rank 484,938 (Top 10 %)
  • Language
    Python
  • License
    GNU General Publi...
  • Created about 12 years ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MassimoLauria/cnfgen
github

MassimoLauria

Reviews

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

Repository Details

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

More Repositories

1

dotemacs

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

global-configuration

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

shell

Configuration files for my shell
Shell
2
star
4

xsession

Xsession and Xresources config files
Shell
2
star
5

cnftools

A set of efficient tools for CNF manipulations.
C++
2
star
6

pebble

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