Closed fuchsch1234 closed 5 years ago
Version of satsolver should stay below 1.0 because API might still change.
blocked by #23
1.0.0 released
Version of satsolver should stay below 1.0 because API might still change.