Latest version of the following gems require prop_logic-minisat
This gem has no reverse dependencies.