Niels Keurentjes 8e78ce9a43 Add extra logging before and after SAT solving 9 years ago
..
Composer 8e78ce9a43 Add extra logging before and after SAT solving 9 years ago
bootstrap.php 0ea2890ed6 Update install instructions 9 years ago