elsoroka/Satisfiability.jl

Issues

• [BUG] IOError

  #65 opened 3 months ago by EveWCheng
  2

• JOSS Review Comments

  #50 opened 4 months ago by computablee
  13

• Issue with certain iterators

  #63 opened 4 months ago by mykelk
  0

• Support for tensors

  #60 opened 4 months ago by mykelk
  2

• Why CVC4 doesn't work out-of-the-box

  #57 opened 4 months ago by elsoroka
  1

• JOSS Review Comments

  #49 opened 4 months ago by rafaelbailo
  11

• Execute the README examples during the pre-deployment checks

  #51 opened 4 months ago by elsoroka
  2

• Example #3 in README.md is broken.

  #48 opened 5 months ago by rafaelbailo
  2

• Roadmap (Summer 2024 and beyond)

  #46 opened 6 months ago by elsoroka
  0

• Add support for unicode

  #44 opened 6 months ago by mykelk
  4

• Add support for chaining

  #45 opened 6 months ago by mykelk
  1

• First example in readme uses undefined variable

  #42 opened 6 months ago by mykelk
  0

• An executable with the right name is not a sufficient condition for a working solver

  #40 opened 8 months ago by elsoroka
  0

• Documentation workflow times out

  #37 opened 8 months ago by elsoroka
  0

• Reals example in README.md doesn't work

  #32 opened 10 months ago by zygi
  1

• Support for quantifiers

  #31 opened 10 months ago by remysucre
  1

• TagBot trigger issue

  #30 opened a year ago by JuliaTagBot
  16

• TagBot trigger issue

  #16 opened a year ago by JuliaTagBot
  3

• ^ (square) doesn't work for multiplication

  #25 opened a year ago by elsoroka
  0

• Value of constant shouldn't be modified when problem is unsat

  #26 opened a year ago by elsoroka
  0

• Add missing operators defined in SMT-LIB QF_BV Logic specification

  #22 opened a year ago by elsoroka
  0

• Typing allows the invalid expression Int + Bool

  #21 opened a year ago by elsoroka
  3

• Infer logic type from expression

  #24 opened a year ago by elsoroka
  0

• Register 0.1.0

  #14 opened a year ago by elsoroka
  1

• Improvements to @uninterpreted functions

  #11 opened a year ago by elsoroka
  0