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-javascript (v18.x)

test-javascript (v18.x)
succeeded Mar 14, 2024 in 7s