-
Alexandre Duret-Lutz authored
(visit): Draw rectangular node for atomic propositions and constant. This is an attempt to mimic BuDDy's output.
65b6a4d8
To find the state of this project's repository at the time of any of these versions, check out the tags.