GitHub - Vtec234/xnfsat

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
cnf2xnf		cnf2xnf
.gitignore		.gitignore
FILES		FILES
LICENSE		LICENSE
README		README
VERSION		VERSION
cflags.h		cflags.h
config.c		config.c
configure.sh		configure.sh
main.c		main.c
makefile.in		makefile.in
mkconfig.sh		mkconfig.sh
yals.c		yals.c
yals.h		yals.h
yils.h		yils.h

Repository files navigation

xnfSAT

This is an SLS solver with XOR constraint support based on YalSAT.

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