Issues

• Increased precision for probabilities close to 0 ?

  NTU-ALComLab/ssatABC#23 · Filter by author symphorien opened on Apr 13, 2022
  1

• Lower bound is 0

  NTU-ALComLab/ssatABC#21 · Filter by author mahi045 opened on Mar 21, 2022
  9

• Weighted existential variables

  enhancement
  NTU-ALComLab/ssatABC#17 · Filter by author vuphan314 opened on Nov 3, 2021
  1

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

  bug
  NTU-ALComLab/ssatABC#16 · Filter by author vuphan314 opened on Aug 29, 2021
  1

  

• Wrong answer if some unit clauses of variables in e1 level

  bug
  NTU-ALComLab/ssatABC#11 · Filter by author qmo1222 opened on Dec 15, 2020
  4

  

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

  bug
  NTU-ALComLab/ssatABC#3 · Filter by author nianzelee opened on Sep 4, 2020
  4