Skip to content

rpoyner-tri/picosat

BranchesTags
 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
.gitignore
.gitignore
 
 
BUILD
BUILD
 
 
LICENSE
LICENSE
 
 
NEWS
NEWS
 
 
README
README
 
 
VERSION
VERSION
 
 
WORKSPACE
WORKSPACE
 
 
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'.

About

No description, website, or topics provided.

Resources

Readme

License

MIT license
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

1 tags

Packages

No packages published

Languages

  • C 98.4%
  • Shell 1.5%
  • Python 0.1%