picologic-0.1: Utilities for symbolic predicate logic expressions

picologic provides symbolic logic expressions that can be integrated with the picosat solver.