Branches

• iss15

  f742185e · Fix typo in predefined values · Aug 05, 2020
• iss60

  f50a2ac7 · Remove unneeded references to alias · Nov 10, 2020
• iss62

  71a3aee5 · Remove unneeded print · Dec 15, 2020
• iss65

  302bbdf9 · Add IDP-Z3 as back-end solver · Dec 21, 2020
• iss66

  83b98cc1 · Further extend API · Dec 24, 2020
• iss73

  53ec8be9 · Uppercase Int and Real for idpz3 · Jan 11, 2021
• iss72

  332d0a65 · Merge branch 'dev' into iss72 · Jan 11, 2021
• iss78

  a087cb04 · Fix IDP path · Feb 12, 2021
• iss76

  eaf45030 · Merge branch 'dev' into iss76 · Feb 12, 2021
• iss74

  711b4bf6 · Remove reference to days between · Feb 12, 2021
• iss70

  f4612498 · Merge branch 'iss74' into 'dev' · Feb 12, 2021
• iss75

  94b15329 · Optimize overlap detection · Feb 12, 2021
• iss81

  7598c6cd · Fix IDP path · Feb 18, 2021
• iss80

  04957d10 · Allow alternative range notation · Feb 18, 2021
• iss82

  cd21f228 · Replace string format in table_operations by fstring · Feb 18, 2021
• iss84

  551c9634 · Remove incorrect test · Mar 15, 2021
• error_Benjamin

  8bfbc5bd · hotfix · Mar 15, 2021
• Unicode_hotfix

  397cab29 · Remove unicode · Mar 31, 2021
• propagation

  0be8fdba · Support for propagation · Jun 01, 2021
• shadowed_verification

  0feae4a5 · change shadowed verification to use propagation · Jun 01, 2021