PLOOPI-Lib Code
A Java library for dealing with propositional and SMT formulas.
Brought to you by:
lammenation,
paulolsenjr
