GitHub - ehe9991/yalsat

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
FILES		FILES
LICENSE		LICENSE
README		README
VERSION		VERSION
cflags.h		cflags.h
config.c		config.c
config.h		config.h
config.o		config.o
configure.sh		configure.sh
libyals.a		libyals.a
main.c		main.c
main.o		main.o
makefile		makefile
makefile.in		makefile.in
mkconfig.sh		mkconfig.sh
pain.o		pain.o
palsat		palsat
yals.c		yals.c
yals.h		yals.h
yals.o		yals.o
yalsat		yalsat
yils.h		yils.h

Repository files navigation

YalSAT

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'.