UNPKG

picosat

Version:

picosat SAT solver

github.com/dirkschumacher/nodepicosat

dirkschumacher/nodepicosat

1 folder, 6 files

	Filename	Content Type	Size
	lib/	–	193 kB
	LICENSE	text/plain	2.29 kB
	README.md	text/markdown	3.13 kB
	binding.gyp	application/octet-stream	177 B
	index.c	application/octet-stream	1.47 kB
	index.js	text/javascript	4.58 kB
	package.json	application/json	892 B

About

dirkschumacher/nodepicosat

Releases

8 years ago