picologic (hackage): Symbolic logic expressions
Keywords: library|logic|mit|haskell|haskell-library|picosat|sat-solver