-
Alexandre Duret-Lutz authored
(visit): Draw rectangular node for atomic propositions and constant. This is an attempt to mimic BuDDy's output.
65b6a4d8
(visit): Draw rectangular node for atomic propositions and constant. This is an attempt to mimic BuDDy's output.