You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If reHCstar reads the output of a SAT solver compliant with DIMACS format but containing a comment line composed by a single 'c', it fails with the following error:
If
reHCstar
reads the output of a SAT solver compliant with DIMACS format but containing a comment line composed by a single 'c', it fails with the following error:Version affected:
v1.3.1
The text was updated successfully, but these errors were encountered: