Skip to content

Instantly share code, notes, and snippets.

Gonzalo Alsina gonch

  • Chartboost
  • San Francisco, CA
View GitHub Profile
@gonch
gonch / 3SAT.c
Last active Dec 31, 2015
Simple 3-SAT Solver
View 3SAT.c
#include <stdio.h>
#include <assert.h>
FILE *ent;
int i,j,c,numclauses,n;
int satisfactible;
int r;
int clauses[1065][3];
You can’t perform that action at this time.