Skip to content
Snippets Groups Projects

add notebook with satsolver tests

Passed
Michael Leuschel created pipeline for commit 738ba7f6
, finished
For master
3 minutes 32 seconds, queued for 3 seconds