BoolExprs.jl

This package implements a library for manipulating boolean expressions. Implication and exclusive or not yet implemented.

Resources

• Inspired by: http://www.cs.jhu.edu/~jason/tutorials/convert-to-CNF.html