New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

SAT solver's SpecTest. #275

Closed

Kray-G opened this issue Apr 15, 2021 · 0 comments

Assignees

Labels

Milestone

Owner

Kray-G commented Apr 15, 2021

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

Kray-G added the documentation label

Kray-G added this to the v1.1.0 milestone

Kray-G self-assigned this

Kray-G added a commit that referenced this issue


          fixed #275 added a test case of SAT solver.

c46281a

Kray-G closed this as completed in

beef198

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment