UNPKG

naive-3-sat

Version:

naive solver for the 3-sat problem

github.com/fuscofrancesco/naive-3-sat

fuscofrancesco/naive-3-sat

11 files

	Filename	Content Type	Size
	Evaluator.js	text/javascript	353 B
	NaiveSat.js	text/javascript	1.76 kB
	Parser.js	text/javascript	2.51 kB
	README.md	text/markdown	1.76 kB
	Tokenizer.js	text/javascript	1.32 kB
	Visitor.js	text/javascript	752 B
	assigner.js	text/javascript	582 B
	ast.js	text/javascript	887 B
	index.js	text/javascript	539 B
	package.json	application/json	634 B
	util.js	text/javascript	400 B

About

github.com/fuscofrancesco/naive-3-sat

fuscofrancesco/naive-3-sat

Releases

6 years ago