Closed ahmed-irfan closed 1 year ago
Initial code for mcSAT arrays based on the weakly equivalent arrays paper.
Coverage: 64.222% (+0.1%) from 64.095% when pulling c1dc48a5f36f37e2fed939d1036fe6c8ba148442 on mcsat-arrays-2 into c8dd126084692f4b92fb4f81d7c459c889422ed1 on master.
Initial code for mcSAT arrays based on the weakly equivalent arrays paper.