This is yet another local search SAT solver.
To build run ./configure.sh && make. See also ./configure.sh -h,
particularly the usage of ./configure.sh -g to compile a version
with debugging, checking and logging support.
This will build both the library libyals.a with its API in file yals.h and the stand-alone SAT solver yalsat and its multi-threaded parallel version palsat.