Kray-G/kinx

SAT solver's SpecTest.

Kray-G opened this issue · 0 comments

Kray-G commented

There is no document about SAT solver as a new introduced feature.
SpecTest is needed.