Data.Logic.ATP.DP

dp

dpsat

dptaut

dpli

dplisat

dplitaut

dpll

dpllsat

dplltaut

dplb

dplbsat

dplbtaut

testDP