Skip to content
Build & publish

Use minisat instead of picosat as SAT backend. #23

Sign in to view logs

Use minisat instead of picosat as SAT backend.

Use minisat instead of picosat as SAT backend. #23

test-python

test-python
succeeded Mar 14, 2024 in 8s