perf: phase saving - Githubissues

Gbury / mSAT

A modular sat/smt solver with proof output.

https://gbury.github.io/mSAT/

Apache License 2.0

95 stars 8 forks source link

perf: phase saving #18

Open c-cube opened 5 years ago

c-cube commented 5 years ago

use a bool flag in the variable to save last phase
use false by default (corresponds to this flag being cleared)