search

cannontwo / cannon

Lifetime repository
https://cannontwo.com/cannon/
MIT License
0 stars 0 forks source link

Write Decision Graph from DPLL #74

Open cannontwo opened 3 years ago

cannontwo commented 3 years ago

Add an option to write the decision graph as a DOT file. Should be something similar to the graph on https://cse442-17f.github.io/Conflict-Driven-Clause-Learning/

cannontwo commented 3 years ago

Probably want to make a generic DOT graph wrapper for this, as I imagine I'll want to use this functionality again.