UNPKG

vulcan

Version:

A resolution-based propositional logic tool

github.com/RyanMarcus/vulcan

RyanMarcus/vulcan

2 folders, 11 files

	Filename	Content Type	Size
	test/	–	9.74 kB
	web/	–	23.8 kB
	.npmignore	text/plain	19 B
	COPYING	application/octet-stream	34.5 kB
	LICENSE	text/plain	34.5 kB
	README.md	text/markdown	2.22 kB
	README.md~	application/octet-stream	189 B
	cnf.js	text/javascript	8.49 kB
	lex.js	text/javascript	1.63 kB
	package.json	application/json	596 B
	parse.js	text/javascript	1.99 kB
	util.js	text/javascript	3.46 kB
	vulcan.js	text/javascript	5.82 kB

About

github.com/RyanMarcus/vulcan

RyanMarcus/vulcan

Releases

10 years ago