Gbury/mSAT

Issues

• Setup Github Actions CI

  #30 opened 9 months ago by Gbury
  2

• How to get non-deterministic solutions?

  #27 opened 3 years ago by bergwerf
  1

• perf regression on 0.9

  #26 opened 3 years ago by c-cube
  0

• ability to push decisions from the theory

  #19 opened 4 years ago by c-cube
  2

• make theory able to set default polarity of vars

  #23 opened 4 years ago by c-cube
  0

• vec.get error

  #25 opened 5 years ago by c-cube
  1

• perf: phase saving

  #18 opened 6 years ago by c-cube
  0

• Improve performances

  #8 opened 6 years ago by Gbury
  2

• DRAT proof output

  #15 opened 6 years ago by c-cube
  1

• design clean API for theories

  #13 opened 6 years ago by c-cube
  2

• use non generative api

  #12 opened 6 years ago by c-cube
  4

• assertion failure

  #16 opened 6 years ago by c-cube
  1

• Use reflexivity in Coq proofs

  #10 opened 7 years ago by Gbury
  0

• access literals' decision level from theory

  #9 opened 7 years ago by c-cube
  0

• function to add a literal

  #6 opened 8 years ago by c-cube
  6

• bug

  #7 opened 8 years ago by c-cube
  1

• invalid_argument

  #5 opened 8 years ago by c-cube
  3

• assert failure

  #4 opened 8 years ago by c-cube
  3

• requires zarith?

  #1 opened 9 years ago by c-cube
  0