Python package

updated pysat solver wrapper, added solving algorithm #44

Sign in to view logs

Triggered via push December 7, 2023 08:27

alpavlenko

master

Status Success

Total duration 24s

Artifacts –

run-tests.yml

on: push

Matrix: build