Issues · NTU-ALComLab/ssatABC · GitHub

Labels Milestones

Increased precision for probabilities close to 0 ?

#23

· symphorien opened

on Apr 13, 2022

Lower bound is 0

#21

· mahi045 opened

on Mar 21, 2022

Weighted existential variables

#17

· vuphan314 opened

on Nov 3, 2021

Wrong solution for ER test case `rand-3-40-160-20.71.sdimacs`

#16

· vuphan314 opened

on Aug 29, 2021

Wrong answer if some unit clauses of variables in e1 level

#11

· qmo1222 opened

on Dec 15, 2020

Wrong result on test case `MaxSAT-keller4-1212.clq.wcnf.sdimacs`

#3

· nianzelee opened

on Sep 4, 2020