path: root/test/picosat-965/main.c

int picosat_main (int, char **);

int
main (int argc, char **argv)
{
  return picosat_main (argc, argv);
}