Search results

Fails on input with no clauses, or when preprocessing results in no remaining clauses.

Status: Open.

#13 In master-keying/sharpSAT;

· agreatnate opened on Jun 16, 2020

Conflict resolution accesses front() of an empty vector

Status: Open.

#11 In master-keying/sharpSAT;

· cernoch opened on Aug 3, 2018

Shall we remove dead code?

questionFurther information is requestedFurther information is requested

Status: Open.

#10 In master-keying/sharpSAT;

· cernoch opened on Aug 3, 2018

Components with no variables violate assertions

Status: Open.

#9 In master-keying/sharpSAT;

· cernoch opened on Jul 30, 2018

Trivial UNSAT instances do not produce 0 models

Status: Open.

#5 In master-keying/sharpSAT;

· cernoch opened on Jul 18, 2018

Timeout is not properly reported

Status: Open.

#4 In master-keying/sharpSAT;

· horenmar opened on Jul 16, 2018