UNPKG

xerocross.vulcan

Version:

A resolution-based propositional logic tool

github.com/xerocross/xerocross.vulcan

xerocross/xerocross.vulcan

2 files

	Filename	Content Type	Size
	../
	cnf_tests.js	text/javascript	5.8 kB
	vulcan_tests.js	text/javascript	4.26 kB