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

Triggered via push March 14, 2024 06:01
@whitequarkwhitequark
pushed 1e00286
release
Status Success
Total duration 1m 59s
Artifacts 2

package.yml

on: push
build
53s
build
Matrix: test-javascript
test-python
8s
test-python
check
0s
check
release
0s
release
publish-python
21s
publish-python
publish-javascript
15s
publish-javascript
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
dist-npmjs Expired
379 KB
dist-pypi Expired
358 KB