cleaned up main.c (got rid of sample constraint solver)