1 2 3 4 5 6 7
int picosat_main (int, char **); int main (int argc, char **argv) { return picosat_main (argc, argv); }