from docs.source.plots.logical_systems.draw_logic import draw_system
from yvain.logical_systems import Drastic

if __name__ == '__main__':
    draw_system(Drastic(), "Drastic system")