Giters

jix / varisat

SAT solver written in Rust

Home Page:https://jix.one/project/varisat

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Data logging and visualization

jix opened this issue · comments

commented

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.