Sandbox::https://github.com/phadej/boolean-normal-forms/tree/master/tests

Visitar URL original

boolean-normal-forms/tests at master · phadej/boolean-normal-forms · GitHub

Repository navigation

Name		Name	Last commit message	Last commit date
parent directory ..
BooleanLaws.hs		BooleanLaws.hs
BooleanModelLaws.hs		BooleanModelLaws.hs
CNFList.hs		CNFList.hs
CNFSet.hs		CNFSet.hs
DNFList.hs		DNFList.hs
DNFSet.hs		DNFSet.hs
FreeBoolean.hs		FreeBoolean.hs
FreeBooleanTests.hs		FreeBooleanTests.hs
Main.hs		Main.hs
NNFSet.hs		NNFSet.hs
NNFTree.hs		NNFTree.hs
NegableLaws.hs		NegableLaws.hs
SimplifyLaws.hs		SimplifyLaws.hs