UNPKG

logic-solver

Version:

General satisfiability solver for logic problems

github.com/meteor/logic-solver

meteor/logic-solver

8 files

	Filename	Content Type	Size
	.npmignore	text/plain	13 B
	LICENSE	text/plain	1.09 kB
	README.md	text/markdown	42.2 kB
	copy-from-meteor-repo.sh	application/octet-stream	741 B
	logic-solver.js	text/javascript	62.3 kB
	minisat.js	text/javascript	237 kB
	minisat_wrapper.js	text/javascript	4.16 kB
	package.json	application/json	579 B

About

github.com/meteor/logic-solver

meteor/logic-solver

Releases

9 years ago