uuverifiers/princess

Issues

• Abbrev causes crashes when used with rational numbers

  #12 opened 5 days ago by daniel-raffler
  1

• Princess does not support Real values in arrays

  #11 opened 8 days ago by daniel-raffler
  3

• No model despite +model

  #10 opened 8 months ago by qOEJXOT4
  4

• [Ostrich] String theory crashes when solving query with STR_LESS_EQUAL

  #9 opened 8 months ago by kfriedberger
  3

• Model evaluation for rational theory crashes in MatchError

  #8 opened 10 months ago by kfriedberger
  0

• Model evaluation for rational theory is incomplete and does not simplify terms

  #7 opened 10 months ago by kfriedberger
  0

• Effect of option [+-]dnfConstraints

  #6 opened a year ago by qOEJXOT4
  6

• Unexpected result of VALID

  #5 opened a year ago by qOEJXOT4
  4

• Inconsistant cast

  #2 opened 2 years ago by SimpleXiaohu
  0

• Unsoundness with quantifiers and ADTs

  #1 opened 2 years ago by pruemmer
  2