tweag/smtlib-backends

Issues

• Up bounds for smtlib-backends to 0.4 in smtlib-backends-process

  #72 opened 3 months ago by bruderj15
  1

• Obtaining Solver that does not set default options

  #70 opened 4 months ago by bruderj15
  3

• Missing model in solver response

  #69 opened 4 months ago by bruderj15
  2

• Faulty solver response handling

  #68 opened 4 months ago by bruderj15
  2

• `Backends.Process`: the test-suite may fail randomly

  #15 opened 2 years ago by qaristote
  9

• Document edge cases of the SMTLIB API

  #51 opened 2 years ago by qaristote
  4

• Stop saying "lazy" and "eager"

  #49 opened 2 years ago by qaristote
  0

• Clunky error report

  #43 opened 2 years ago by gabrielhdt
  4

• `Backends`: follow the Handle design pattern

  #31 opened 2 years ago by qaristote
  4

• `Backends`: expose `flushQueue`

  #48 opened 2 years ago by qaristote
  3

• `Backends.Z3`: set options during initialization

  #30 opened 2 years ago by qaristote
  0

• Bump compatible version of `bytestring` dependency.

  #32 opened 2 years ago by qaristote
  0

• CI: test that links aren't broken

  #25 opened 2 years ago by qaristote
  0

• Create some examples to show how to use the library

  #11 opened 2 years ago by facundominguez
  3

• split packages to different folders with their names

  #19 opened 2 years ago by facundominguez
  1

• Make the input of loggers more general

  #13 opened 2 years ago by facundominguez
  2

• `Backends.Z3`: the whole program stops when Z3 throws an error

  #2 opened 2 years ago by qaristote
  0