Data logging and visualization #38
Description
I want to have something like the visualzation done with Cryptominisat 3 built in. This requires efficient data logging that has almost no overhead when disabled.
{{ message }}
I want to have something like the visualzation done with Cryptominisat 3 built in. This requires efficient data logging that has almost no overhead when disabled.