search

limo1996 / SAT-Solver

Parallel SAT Solver
8 stars 1 forks source link

Identify cnfs in the plots #18

Closed ebhardjan closed 6 years ago

ebhardjan commented 6 years ago

We should add an option to the plotting script to add numbers to identify formulas.

An idea on how this might look like: https://stackoverflow.com/questions/14432557/matplotlib-scatter-plot-with-different-text-at-each-data-point

We should add a command line option to the plotting script that enables the numbers. For command line option parsing one could use the click python package, example usage is in main.py.

ZiweiHuang94 commented 6 years ago

thank you for the explanation and resource. Hi, I already looked into it a bit. have some questions on plotter.py. See you in the lecture.