src Directory Reference

Files
	event_bestsol.c
	eventhdlr to print the best solution value
	event_bestsol.h
	eventhdlr to print the best solution value
	main.c
	main file for the Pseudo-Boolean solver application
	message_pb.c
	messagehdlr for the Pseudo-Boolean output format
	message_pb.h
	messagehdlr for the Pseudo-Boolean output format