Radish alpha
H
HardenedBSD-pkg
rad:z3QDZAW2FAfuLvihrhiyDC9fAD8G9
HardenedBSD Package Manager
Radicle
Git
.. LICENSE picosat.c picosat.h version.c
B
Baptiste Daroussin
Update picocat to version 965 6 years ago fc19180 History
HardenedBSD-pkg › external › picosat › version.c 
#define PICOSAT_VERSION "965"

const char *
picosat_version (void)
{
  return PICOSAT_VERSION;
}

const char *
picosat_config (void)
{
  return "";
}