Skip to content

Instantly share code, notes, and snippets.

Gonzalo Alsina gonch

  • Chartboost
  • San Francisco, CA
Block or report user

Report or block gonch

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
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.