_atlp_convertToDag - Command that converts a list of formula into a DAG.


_atlp_convertToDag optional

Temporary command for debugging only.


Last updated on 980624 22h10