nonsplit-prop

Synopsis: nonsplit-prop;

Description:

This macros applies rules to decompose propositional toplevel formulas without applying splitting rules. In addition, formulas are simplified using one step simplifications.

Arguments:

No arguments required