access literals' decision level from theory - 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

access literals' decision level from theory #9

Open c-cube opened 7 years ago