Skip to content
GitLab
Explore
Sign in
Simple variable decision heuristic
Add a simple variable decision heuristic into
koSATka
. VSIDS should be a good start.