GitHub - se-sic/picoSAT-mirror

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
LICENSE		LICENSE
NEWS		NEWS
README		README
VERSION		VERSION
app.c		app.c
configure.sh		configure.sh
main.c		main.c
makefile.in		makefile.in
mkconfig.sh		mkconfig.sh
picogcnf.c		picogcnf.c
picomcs.c		picomcs.c
picomus.c		picomus.c
picosat.c		picosat.c
picosat.h		picosat.h
version.c		version.c

Repository files navigation

These are the sources of the PicoSAT solver.
The preprocessor is not included.
To compile run './configure.sh && make'.
The API is document in 'picosat.h'.
See also 'NEWS' and 'LICENSE'.