Replace (or augment) POLYMAKE_COMMAND by a user preference #16
Description
As in, set up a suitable DeclareUserPreference so that users can use SetUserPreference and UserPreference
{{ message }}
Replace (or augment)