picosat-965 - OpenGrok cross reference for /dports/math/picosat/picosat-965/

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'.
Name		Date	Size	#Lines	LOC
..		03-May-2022	-
LICENSE	H A D	13-Jan-2016	1.1 KiB	21	16
NEWS	H A D	13-Jan-2016	4.6 KiB	163	96
README	H A D	13-Jan-2016	187	6	5
VERSION	H A D	13-Jan-2016	4	2	1
app.c	H A D	13-Jan-2016	24.4 KiB	1,193	1,053
configure.sh	H A D	13-Jan-2016	3.2 KiB	151	130
main.c	H A D	13-Jan-2016	107	8	6
makefile.in	H A D	13-Jan-2016	1.3 KiB	60	41
mkconfig.sh	H A D	13-Jan-2016	553	36	28
picogcnf.c	H A D	13-Jan-2016	5.1 KiB	166	134
picomcs.c	H A D	13-Jan-2016	8.2 KiB	335	304
picomus.c	H A D	13-Jan-2016	12.3 KiB	408	371
picosat.c	H A D	13-Jan-2016	159 KiB	8,503	6,929
picosat.h	H A D	13-Jan-2016	28 KiB	659	94
version.c	H A D	13-Jan-2016	168	15	11