application.h File Reference

#include "global.h"

Include dependency graph for application.h:

Go to the source code of this file.

Functions
int	kissat_application (struct kissat *, int argc, char **argv)

Function Documentation

kissat_application()

int kissat_application	(	struct kissat *	,
		int	argc,
		char **	argv )