moves-rwth/dynasty

Issues

• CEGIS and until formulae with lower bounds

  #7 opened 4 years ago by sjunges
  0

• Family Checker -- decide ignores strict/nonstrict of the property

  #6 opened 4 years ago by sjunges
  0

• Debug level from command line

  #5 opened 4 years ago by sjunges
  0

• Generate Sphinx Documentation

  #4 opened 5 years ago by sjunges
  0

• Support CEGIS with quotient builder for faster model creation

  #3 opened 5 years ago by sjunges
  0

• Wellformedness checks

  #2 opened 5 years ago by sjunges
  0

• Automatic detection for --check-prerequisites

  #1 opened 5 years ago by sjunges
  0