Issues

• AddressSanitizer: 8-byte read of a 4-byte allocation in DifferencePackedComponent::num_variables() (difference_packed_component.h:28) for components packed into one word

  marcthurley/sharpSAT#20 · Filter by author marennerly-cpu opened on Oct 5, 2026

• Segfault in deleteConflictClauses (instance.cpp:259, median of an empty vector) when more than 10000 clauses are learned and none is long

  marcthurley/sharpSAT#19 · Filter by author marennerly-cpu opened on Oct 5, 2026

• Segfault in resolveConflict (solver.cpp:331, front() of an empty UIP clause) with default options; 50-variable reproducer

  marcthurley/sharpSAT#18 · Filter by author marennerly-cpu opened on Oct 4, 2026

• Non user-unfriendly code in CNF parser

  marcthurley/sharpSAT#14 · Filter by author msoos opened on Jul 20, 2022
  5

• Is possible to know the exact solution value in sharpSAT?

  marcthurley/sharpSAT#13 · Filter by author LifeBach opened on Mar 14, 2022
  3

• Not understand the output of sharpSAT

  marcthurley/sharpSAT#12 · Filter by author Heawen opened on Apr 21, 2021
  10

• -t doesn't appear to be working?

  marcthurley/sharpSAT#10 · Filter by author drautb opened on Nov 7, 2018
  3

• incorrect count for UNSAT formula

  marcthurley/sharpSAT#5 · Filter by author arminbiere opened on Nov 14, 2017
  2

• ./Release subdirectory is not there

  marcthurley/sharpSAT#4 · Filter by author ioah86 opened on Aug 19, 2015
  1

• -q isn't quiet, or useful

  marcthurley/sharpSAT#2 · Filter by author ChrisJefferson opened on Jun 11, 2014
  1