First time here? Check out the FAQ!
answered 2018-06-27 03:34:46 +0100
The optional package plantri needs to be installed before it can be used.
To install it, run the following in a terminal:
sage -i plantri