Niels Keurentjes 8e78ce9a43 Add extra logging before and after SAT solving il y a 9 ans
..
Composer 8e78ce9a43 Add extra logging before and after SAT solving il y a 9 ans
bootstrap.php 0ea2890ed6 Update install instructions il y a 9 ans